#
# The example makes use of 2 principals, Acme and Coyote.
#
# This example shows simple delegation of roles by Acme with multiple
# resulting proofs.  Acme's buy_rockets role includes all of Acme's 
# preferred customers and worst lucked.  The setup.py creates the principals 
# and the attr.py creates 4 policy credentials.  
# Credential 1 encodes the policy that all of Acme's preferred customers 
# can buy rockets from Acme,
# Credential 2 encodes the policy that all of Acme's worst lucked 
# can buy rockets from Acme,
# Credential 3 defines the Coyote as an Acme preferred customer and
# Credential 4 defines the Coyote as an Acme worst lucked.

# The ./run_query script issues queries to show that the Coyote is both a preferred
# customer and can buy rockets and continue to find that Coyote is both worst lucked
# and can buy rockets.

# acme_multi_rt0

# Credential 1
#[keyid:Acme].role:buy_rockets <- [keyid:Acme].role:preferred_customer 

# Credential 2
#[keyid:Acme].role:buy_rockets <- [keyid:Acme].role:worst_lucked 

# Credential 3
#[keyid:Acme].role:preferred_customer <- [keyid:Coyote]

# Credential 4 
#[keyid:Acme].role:worst_lucked <- [keyid:Coyote]