# Rein lean filter
# Vlad's example with some modifications

# $Date: 2006-07-10 17:46:12 -0400 (Mon, 10 Jul 2006) $
# $Revision: 1142 $
# $Author: lkagal $

@keywords  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 http: <http://dig.csail.mit.edu/2005/09/rein/examples/http-access#> .
@prefix session: <http://redfoot.net/2005/session#>.

@forAll F, REQ, RESOURCE.

{ REQ rein:ans rein:Valid; rein:resource RESOURCE.
} => { REQ a rein:Request; rein:ans rein:Valid; rein:resource RESOURCE }.

{ REQ rein:ans rein:InValid; rein:resource RESOURCE.
} => { REQ a rein:Request; rein:ans rein:InValid; rein:resource RESOURCE }.

#ends