l# $Id: authen.axiom.n3,v 1.2 2001/10/01 00:12:34
amdus Exp $
l
l@prefix log:
<http://www.w3.org/2000/10/swap/log#>.
l@prefix : <authen#>.
l
l<mailto:jos.deroo.jd@belgium.agfa.com>
:member <http://www.agfa.com>.
l<http://www.agfa.com> :w3cmember
<http://www.w3.org>.
l<http://www.agfa.com> :subscribed
<mailto:w3c-ac-forum@w3.org/>.
l
l{{:person :member :institution.
l
:institution :w3cmember <http://www.w3.org>.
l
:institution :subscribed :mailinglist} log:implies
l{:person :authenticated :mailinglist}} a
log:Truth; log:forAll
:person, :mailinglist, :institution.
l
l
l