# USAGE : cwm --crypto --rdf|--n3  <request> --n3 engine.n3 --think --filter="filter.n3" --rdf
# USAGE : cwm --crypto --rdf http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf --n3 http://dig.csail.mit.edu/2005/09/rein/engine.n3 --think --filter="http://dig.csail.mit.edu/2005/09/rein/filter.n3" --rdf

@keywords is, of, a.

@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rein: <http://dig.csail.mit.edu/2005/09/rein/network#> .
@prefix : <http://dig.csail.mit.edu/2005/09/rein/engine#>.
@prefix session: <http://redfoot.net/2005/session#>.



@forAll RF, REQ, WHO, RESOURCE, POLICY,  F, G, P_FOR, N, SEC.

#
{ [] a rein:Request; rein:requester "judy-passwd";   rein:resource <http://demo.policyawareweb.org/images/group.jpg>. } a rein:RequestFormula.

<http://demo.policyawareweb.org/images/group.jpg> rein:policy <http://www.policyawareweb.org/2006/lean/troop42-policy.n3>.


{  RF a rein:RequestFormula.
   RF log:includes { [] a rein:Request; 
     rein:requester WHO; 
     rein:resource RESOURCE.
     }.
    RESOURCE rein:policy POLICY.

  ( {[] a rein:Request; 
     rein:requester WHO; 
     rein:resource RESOURCE.
     }
    POLICY.log:semantics
  ) log:conjunction F.
   F log:conclusion G.
	
} => { G :has :ans }.



# result is obtained after filtering thru filter.n3

#ends