trace:
<?xml version="1.0"?>
<proof>
  <solve>
    <goals>
      <Subject>
        <Var>
          _1_:who _:who
        </Var>
        <Verb>
          <URI>
            :authenticated <authen#authenticated>
          </URI>
          <Object>
            <URI>
              <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
            </URI>
          </Object>
        </Verb>
        <Ref1>
          1
        </Ref1>
      </Subject>
    </goals>
      </solve>
  <choose>
  </choose>
  <Substitution>
    <Subject>
      <Var>
        _1_:who _:who
      </Var>
      <Verb>
        <URI>
          :authenticated <authen#authenticated>
        </URI>
        <Object>
          <URI>
            <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
          </URI>
        </Object>
      </Verb>
      <Ref1>
        1
      </Ref1>
    </Subject>
    <Rule>
      <Subject>
        <Subject>
          <Var>
            :person <authen#person>
          </Var>
          <Verb>
            <URI>
              :member <authen#member>
            </URI>
            <Object>
              <Var>
                :institution <authen#institution>
              </Var>
            </Object>
          </Verb>
        </Subject>
        <Subject>
          <Var>
            :institution <authen#institution>
          </Var>
          <Verb>
            <URI>
              :w3cmember <authen#w3cmember>
            </URI>
            <Object>
              <URI>
                <http://www.w3.org> http://www.w3.org
              </URI>
            </Object>
          </Verb>
        </Subject>
        <Subject>
          <Var>
            :institution <authen#institution>
          </Var>
          <Verb>
            <URI>
              :subscribed <authen#subscribed>
            </URI>
            <Object>
              <Var>
                :mailinglist <authen#mailinglist>
              </Var>
            </Object>
          </Verb>
        </Subject>
        <Verb>
          <URI>
            log:implies http://www.w3.org/2000/10/swap/log#implies
          </URI>
          <Object>
            <Subject>
              <Var>
                :person <authen#person>
              </Var>
              <Verb>
                <URI>
                  :authenticated <authen#authenticated>
                </URI>
                <Object>
                  <Var>
                    :mailinglist <authen#mailinglist>
                  </Var>
                </Object>
              </Verb>
            </Subject>
          </Object>
        </Verb>
      </Subject>
      <Verb>
        <URI>
          a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
        </URI>
        <Object>
          <URI>
            log:Truth http://www.w3.org/2000/10/swap/log#Truth
          </URI>
        </Object>
      </Verb>
      <Verb>
        <URI>
          log:forAll http://www.w3.org/2000/10/swap/log#forAll
        </URI>
        <Object>
          <Var>
            :person <authen#person>
          </Var>
        </Object>
        <Object>
          <Var>
            :mailinglist <authen#mailinglist>
          </Var>
        </Object>
        <Object>
          <Var>
            :institution <authen#institution>
          </Var>
        </Object>
      </Verb>
      <Number>
        4
      </Number>
    </Rule>
  </Substitution>
  <Goals>
    <Subject>
      <Var>
        :institution <authen#institution>
      </Var>
      <Verb>
        <URI>
          :subscribed <authen#subscribed>
        </URI>
        <Object>
          <Var>
            :mailinglist <authen#mailinglist>
          </Var>
        </Object>
      </Verb>
    </Subject>
    <Subject>
      <Var>
        :institution <authen#institution>
      </Var>
      <Verb>
        <URI>
          :w3cmember <authen#w3cmember>
        </URI>
        <Object>
          <URI>
            <http://www.w3.org> http://www.w3.org
          </URI>
        </Object>
      </Verb>
    </Subject>
    <Subject>
      <Var>
        :person <authen#person>
      </Var>
      <Verb>
        <URI>
          :member <authen#member>
        </URI>
        <Object>
          <Var>
            :institution <authen#institution>
          </Var>
        </Object>
      </Verb>
    </Subject>
  </Goals>
  <Input triple>
    <Subject>
      <Var>
        _1_:who _:who
      </Var>
      <Verb>
        <URI>
          :authenticated <authen#authenticated>
        </URI>
        <Object>
          <URI>
            <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
          </URI>
        </Object>
      </Verb>
      <Ref1>
        1
      </Ref1>
    </Subject>
  </Input triple>
  <solve>
    <goals>
      <Subject>
        <Var>
          :institution <authen#institution>
        </Var>
        <Verb>
          <URI>
            :subscribed <authen#subscribed>
          </URI>
          <Object>
            <Var>
              :mailinglist <authen#mailinglist>
            </Var>
          </Object>
        </Verb>
      </Subject>
      <Subject>
        <Var>
          :institution <authen#institution>
        </Var>
        <Verb>
          <URI>
            :w3cmember <authen#w3cmember>
          </URI>
          <Object>
            <URI>
              <http://www.w3.org> http://www.w3.org
            </URI>
          </Object>
        </Verb>
      </Subject>
      <Subject>
        <Var>
          :person <authen#person>
        </Var>
        <Verb>
          <URI>
            :member <authen#member>
          </URI>
          <Object>
            <Var>
              :institution <authen#institution>
            </Var>
          </Object>
        </Verb>
      </Subject>
    </goals>
      </solve>
  <choose>
  </choose>
  <Substitution>
    <Subject>
      <Var>
        :institution <authen#institution>
      </Var>
      <Verb>
        <URI>
          :subscribed <authen#subscribed>
        </URI>
        <Object>
          <URI>
            <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
          </URI>
        </Object>
      </Verb>
    </Subject>
    <Subject>
      <URI>
        <http://www.agfa.com> http://www.agfa.com
      </URI>
      <Verb>
        <URI>
          :subscribed <authen#subscribed>
        </URI>
        <Object>
          <URI>
            <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
          </URI>
        </Object>
      </Verb>
      <Ref1>
        3
      </Ref1>
    </Subject>
  </Substitution>
  <Input triple>
    <Subject>
      <Var>
        :institution <authen#institution>
      </Var>
      <Verb>
        <URI>
          :subscribed <authen#subscribed>
        </URI>
        <Object>
          <URI>
            <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
          </URI>
        </Object>
      </Verb>
    </Subject>
  </Input triple>
  <solve>
    <goals>
      <Subject>
        <Var>
          :institution <authen#institution>
        </Var>
        <Verb>
          <URI>
            :subscribed <authen#subscribed>
          </URI>
          <Object>
            <URI>
              <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
            </URI>
          </Object>
        </Verb>
      </Subject>
      <Subject>
        <Var>
          :institution <authen#institution>
        </Var>
        <Verb>
          <URI>
            :w3cmember <authen#w3cmember>
          </URI>
          <Object>
            <URI>
              <http://www.w3.org> http://www.w3.org
            </URI>
          </Object>
        </Verb>
      </Subject>
      <Subject>
        <Var>
          :person <authen#person>
        </Var>
        <Verb>
          <URI>
            :member <authen#member>
          </URI>
          <Object>
            <Var>
              :institution <authen#institution>
            </Var>
          </Object>
        </Verb>
      </Subject>
    </goals>
      </solve>
  <choose>
  </choose>
  <Substitution>
    <Subject>
      <URI>
        <http://www.agfa.com> http://www.agfa.com
      </URI>
      <Verb>
        <URI>
          :subscribed <authen#subscribed>
        </URI>
        <Object>
          <URI>
            <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
          </URI>
        </Object>
      </Verb>
    </Subject>
    <Subject>
      <URI>
        <http://www.agfa.com> http://www.agfa.com
      </URI>
      <Verb>
        <URI>
          :subscribed <authen#subscribed>
        </URI>
        <Object>
          <URI>
            <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
          </URI>
        </Object>
      </Verb>
      <Ref1>
        3
      </Ref1>
    </Subject>
  </Substitution>
  <Input triple>
    <Subject>
      <URI>
        <http://www.agfa.com> http://www.agfa.com
      </URI>
      <Verb>
        <URI>
          :subscribed <authen#subscribed>
        </URI>
        <Object>
          <URI>
            <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
          </URI>
        </Object>
      </Verb>
    </Subject>
  </Input triple>
  <solve>
    <goals>
      <Subject>
        <URI>
          <http://www.agfa.com> http://www.agfa.com
        </URI>
        <Verb>
          <URI>
            :subscribed <authen#subscribed>
          </URI>
          <Object>
            <URI>
              <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
            </URI>
          </Object>
        </Verb>
      </Subject>
      <Subject>
        <Var>
          :institution <authen#institution>
        </Var>
        <Verb>
          <URI>
            :w3cmember <authen#w3cmember>
          </URI>
          <Object>
            <URI>
              <http://www.w3.org> http://www.w3.org
            </URI>
          </Object>
        </Verb>
      </Subject>
      <Subject>
        <Var>
          :person <authen#person>
        </Var>
        <Verb>
          <URI>
            :member <authen#member>
          </URI>
          <Object>
            <Var>
              :institution <authen#institution>
            </Var>
          </Object>
        </Verb>
      </Subject>
    </goals>
      </solve>
  <choose>
  </choose>
  <Substitution>
    <Subject>
      <URI>
        <http://www.agfa.com> http://www.agfa.com
      </URI>
      <Verb>
        <URI>
          :w3cmember <authen#w3cmember>
        </URI>
        <Object>
          <URI>
            <http://www.w3.org> http://www.w3.org
          </URI>
        </Object>
      </Verb>
    </Subject>
    <Subject>
      <URI>
        <http://www.agfa.com> http://www.agfa.com
      </URI>
      <Verb>
        <URI>
          :w3cmember <authen#w3cmember>
        </URI>
        <Object>
          <URI>
            <http://www.w3.org> http://www.w3.org
          </URI>
        </Object>
      </Verb>
      <Ref1>
        2
      </Ref1>
    </Subject>
  </Substitution>
  <Input triple>
    <Subject>
      <URI>
        <http://www.agfa.com> http://www.agfa.com
      </URI>
      <Verb>
        <URI>
          :w3cmember <authen#w3cmember>
        </URI>
        <Object>
          <URI>
            <http://www.w3.org> http://www.w3.org
          </URI>
        </Object>
      </Verb>
    </Subject>
  </Input triple>
  <solve>
    <goals>
      <Subject>
        <URI>
          <http://www.agfa.com> http://www.agfa.com
        </URI>
        <Verb>
          <URI>
            :w3cmember <authen#w3cmember>
          </URI>
          <Object>
            <URI>
              <http://www.w3.org> http://www.w3.org
            </URI>
          </Object>
        </Verb>
      </Subject>
      <Subject>
        <Var>
          :person <authen#person>
        </Var>
        <Verb>
          <URI>
            :member <authen#member>
          </URI>
          <Object>
            <Var>
              :institution <authen#institution>
            </Var>
          </Object>
        </Verb>
      </Subject>
    </goals>
      </solve>
  <choose>
  </choose>
  <Substitution>
    <Subject>
      <Var>
        :person <authen#person>
      </Var>
      <Verb>
        <URI>
          :member <authen#member>
        </URI>
        <Object>
          <URI>
            <http://www.agfa.com> http://www.agfa.com
          </URI>
        </Object>
      </Verb>
    </Subject>
    <Subject>
      <URI>
        <mailto:jos.deroo.jd@belgium.agfa.com> mailto:jos.deroo.jd@belgium.agfa.com
      </URI>
      <Verb>
        <URI>
          :member <authen#member>
        </URI>
        <Object>
          <URI>
            <http://www.agfa.com> http://www.agfa.com
          </URI>
        </Object>
      </Verb>
      <Ref1>
        1
      </Ref1>
    </Subject>
  </Substitution>
  <Input triple>
    <Subject>
      <Var>
        :person <authen#person>
      </Var>
      <Verb>
        <URI>
          :member <authen#member>
        </URI>
        <Object>
          <URI>
            <http://www.agfa.com> http://www.agfa.com
          </URI>
        </Object>
      </Verb>
    </Subject>
  </Input triple>
  <solve>
    <goals>
      <Subject>
        <Var>
          :person <authen#person>
        </Var>
        <Verb>
          <URI>
            :member <authen#member>
          </URI>
          <Object>
            <URI>
              <http://www.agfa.com> http://www.agfa.com
            </URI>
          </Object>
        </Verb>
      </Subject>
    </goals>
      </solve>
  <choose>
  </choose>
  <Substitution>
    <Subject>
      <URI>
        <mailto:jos.deroo.jd@belgium.agfa.com> mailto:jos.deroo.jd@belgium.agfa.com
      </URI>
      <Verb>
        <URI>
          :member <authen#member>
        </URI>
        <Object>
          <URI>
            <http://www.agfa.com> http://www.agfa.com
          </URI>
        </Object>
      </Verb>
    </Subject>
    <Subject>
      <URI>
        <mailto:jos.deroo.jd@belgium.agfa.com> mailto:jos.deroo.jd@belgium.agfa.com
      </URI>
      <Verb>
        <URI>
          :member <authen#member>
        </URI>
        <Object>
          <URI>
            <http://www.agfa.com> http://www.agfa.com
          </URI>
        </Object>
      </Verb>
      <Ref1>
        1
      </Ref1>
    </Subject>
  </Substitution>
  <Input triple>
    <Subject>
      <URI>
        <mailto:jos.deroo.jd@belgium.agfa.com> mailto:jos.deroo.jd@belgium.agfa.com
      </URI>
      <Verb>
        <URI>
          :member <authen#member>
        </URI>
        <Object>
          <URI>
            <http://www.agfa.com> http://www.agfa.com
          </URI>
        </Object>
      </Verb>
    </Subject>
  </Input triple>
  <solve goallist empty>
  </solve goallist empty>
  <backtrack>
  </backtrack>
  <choose>
  </choose>
  <backtrack>
  </backtrack>
  <choose>
  </choose>
  <backtrack>
  </backtrack>
  <choose>
  </choose>
  <backtrack>
  </backtrack>
  <choose>
  </choose>
  <backtrack>
  </backtrack>
  <choose>
  </choose>
  <backtrack>
  </backtrack>
  <choose>
  </choose>
</proof>

substitutions:

Variable:
<?xml version="1.0"?>
<Var>
  _1_:who _:who
</Var>

Term:
<?xml version="1.0"?>
<Var>
  :person <authen#person>
</Var>

Variable:
<?xml version="1.0"?>
<Var>
  :mailinglist <authen#mailinglist>
</Var>

Term:
<?xml version="1.0"?>
<URI>
  <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
</URI>

Variable:
<?xml version="1.0"?>
<Var>
  :institution <authen#institution>
</Var>

Term:
<?xml version="1.0"?>
<URI>
  <http://www.agfa.com> http://www.agfa.com
</URI>

Variable:
<?xml version="1.0"?>
<Var>
  :person <authen#person>
</Var>

Term:
<?xml version="1.0"?>
<URI>
  <mailto:jos.deroo.jd@belgium.agfa.com> mailto:jos.deroo.jd@belgium.agfa.com
</URI>

Lemma:
<?xml version="1.0"?>
<Subject>
  <Var>
    _1_:who _:who
  </Var>
  <Verb>
    <URI>
      :authenticated <authen#authenticated>
    </URI>
    <Object>
      <URI>
        <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
      </URI>
    </Object>
  </Verb>
  <Ref1>
    1
  </Ref1>
</Subject>



Solutions:
<?xml version="1.0"?>
<Subject>
  <URI>
    <mailto:jos.deroo.jd@belgium.agfa.com> mailto:jos.deroo.jd@belgium.agfa.com
  </URI>
  <Verb>
    <URI>
      :authenticated <authen#authenticated>
    </URI>
    <Object>
      <URI>
        <mailto:w3c-ac-forum@w3.org/> mailto:w3c-ac-forum@w3.org/
      </URI>
    </Object>
  </Verb>
  <Ref1>
    1
  </Ref1>
</Subject>




This were all the solutions