% Restoring file /usr/local/lib/Yap/startup.yss

===good============ Acme.preferred_customer <- Coyote
YAP query succeed
pAcme.preferred_customer <- pCoyote

===good============ Acme.buy_rockets <- Coyote
YAP query succeed
pAcme.buy_rockets <- pAcme.preferred_customer
pAcme.preferred_customer <- pCoyote

===bad=============== Coyote.friend <- Acme
YAP query failed

...final principal set...
(pAcme,keyid,y) 
(pCoyote,keyid,y) 



...final policy attribute set...
pAcme.buy_rockets <- pAcme.preferred_customer
pAcme.preferred_customer <- pCoyote