#
# This example shows an example of reasoning about a role's parameters with
# a range constraint.  There are 4 principals StateU, Bob, Maryann, and Joe.
# StateU wants to establish a  set of founding alum based on the year of 
# graduation.  On graduation each alum has previously been issued a 
# credential parameterized with their major and graduation year.  StateU 
# sets up a policy that says that a principal is a founding alum if they 
# graduated in 1955 through 1958 inclusive no matter what major the 
# principal had.  This policy is expressed in Credential 1.
#
# Credentials 2, 3, and 4 each assign a diploma credential to Bob (a 1960
# mathematics degree), Joe (a 1955 zoology degree) and Maryann (a 1956
# psychology degree).
#
# The query.py file asks if each of these principals are favored
# alums and Joe and Maryann are.

# alumni_rt1

# Credential 1
# [keyid:stateU].role:foundingAlumni 
#                   <- [keyid:stateU].role:diploma([?], [integer:?Year:[1955..1958]])

# Credential 2
# [keyid:stateU].role:diploma([string:'mathmatics'],[integer:1960]) <- [keyid:bob]

# Credential 3
# [keyid:stateU].role:diploma([string:'zoology'],[integer:1955]) <- [keyid:joe]

# Credential 4
# [keyid:stateU].role:diploma([string:'psychology'],[integer:1956]) <- [keyid:maryann]