(prefix "dc" "http://purl.org/dc/elements/1.1/")
(prefix "acl" "file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/acl@@#")
(prefix "v" "file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/STDIN#")
(prefix "log" "http://www.w3.org/2000/10/swap/log#")
(prefix "logAux" "file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/logAux@@#")
(prefix "" "file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/acl-pf#")
(prefix "aclPf" "file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/acl-pf#")
   (forall (?K ?org )
    (and
     (log__implies ^       (and
       (log__includes v__thing_13 ^          (aclPf__ACRep v__rep , , ?org )
)
       (acl__assures aclPf__Kdirector v__thing_13 )
      )
^        (aclPf__ACRep v__rep , ?org )
)
     (log__implies ^        (aclPf__memberRep , ?K , ?org )
^        (aclPf__hasAccess , ?K aclPf__meetingRecord )
)
     (log__implies ^        (aclPf__hasAccess aclPf__KjohnDoe aclPf__meetingRecord )
^        (http://www.w3.org/1999/02/22-rdf-syntax-ns#type aclPf__aclPfTest aclPf__Success )
)
    )
   )