@keywords is, of, a.

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#> .

@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix session: <http://redfoot.net/2005/session#>.
@prefix rein: <http://www.policyawareweb.org/2005/rein/rein.n3#>.

@prefix : <troop42#>.
@prefix reine: <reinE.n3#> .

@forAll PG, WHO, TXT.

<> rein:usesOntology <reinE.n3>. #@@ kinda like owl:imports

{ <troopMembers.n3> log:semantics ?F } => { ?F a TroopStuff }.

{ ?F a TroopStuff; log:includes
    { thisTroop member [ is foaf:maker of PG ] }.
  PG log:semantics [ log:includes
    { PG foaf:maker WHO. WHO session:hexdigest TXT }
  ].

} => { PG foaf:maker WHO. thisTroop member WHO. WHO session:hexdigest TXT }.

# rein:requestedAction  is now resource
{ [] rein:requestedAction ?PHOTO.
  #@@hmm... PHOTO log:uri [ str:startsWith "http://girlscouts.policyawareweb.org/..." ].
  thisTroop member WHO } => { WHO reine:canAccess ?PHOTO }.


{ [] rein:requester WHO.
  WHO session:secret ?S.
  ?PG foaf:maker ?WHO2. ?WHO2 session:hexdigest ?D.
  ?S crypto:md5 ?D. #@@look up
} => { ?PG foaf:maker WHO. ?WHO2 = WHO }.

#@@ work-around lack of pycrypto for a sec...
"girlscout" crypto:md5 "365e00b0d644076bd8a9ddef530d91c7".

#@@ eek! make sure to --purge the password before sending the proof to the server
#{ ?WHO session:secret ?S } => { ?S a log:Chaff }.
#@@er... hmm... no, that won't work.