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

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

...final policy attribute set...
pAcme.buy_rockets <- pAcme.preferred_customer & pWarnerBros.character
pAcme.preferred_customer <- pBatman
pAcme.preferred_customer <- pCoyote
pWarnerBros.character <- pCoyote

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

===bad============ Acme.buy_rockets <- Batman
YAP query failed