axiom db:

<?xml version="1.0"?>
<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>


<?xml version="1.0"?>
<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>


<?xml version="1.0"?>
<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>


<?xml version="1.0"?>
<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>




 axiom variables:

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


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


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




  lemma db:

<?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>




 lemma variables:

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