University policy is described in the case study
at http://www.cs.stonybrook.edu/~stoller/ccs2007/.
Notice that in such a file the policy has a hierarchical structure.

File Query model the university policy along the following security query:
test whether a user can be explicitly in both HonorsStudent and Undergrad roles.


The query is unsafe.

File Query refers to the policy obtained by performing the transformation in [Sasturkar et al, IEEE Computer Society 2006]  to turn a hierarchical policy in one without hierarchical relations.

File Query can be given in input to VAC in order to get the program "Program" instrumented for INTERPROC.