@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 str: <http://www.w3.org/2000/10/swap/string#> .

@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix session: <http://redfoot.net/2005/session#>.
@prefix rein: <http://dig.csail.mit.edu/2005/09/rein/network#> .
@prefix http: <http://dig.csail.mit.edu/2005/09/rein/examples/http-access#> .
@prefix t: <http://dig.csail.mit.edu/2005/09/rein/examples/troop#> .
@prefix : <http://dig.csail.mit.edu/2005/09/rein/examples/troop#> .

@forAll RF1, REQ1, WHO1, RESOURCE1, POLICY1, PHOTO1, LOC1, F1, G1, TXT, S, PG1, N.

{ <http://dig.csail.mit.edu/2005/09/rein/examples/troop42.rdf> log:semantics F1 } => { F1 a TroopStuff }.

# possible to write policies without using rein:Request properties
{ REQ1 a rein:Request.
  REQ1 rein:resource PHOTO1.
  F1 a TroopStuff; log:includes
       { PHOTO1 a t:Photo;
         t:location LOC1.
         LOC1 a :Meeting.
	   [] t:member [ is foaf:maker of PG1 ].
         LOC1 t:attendee [ is foaf:maker of PG1 ].
       }.

  REQ1 rein:requester WHO1.
  WHO1 crypto:md5 TXT.
  PG1 log:semantics [ log:includes
        { PG1 foaf:maker [ session:hexdigest TXT ] }].

} log:implies { WHO1 http:can-get PHOTO1 }.

#ends