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

...final principal set...
(pAlpha,keyid,y) 
(pBob,keyid,y) 
(pJoe,keyid,y) 
(pMaryann,keyid,y) 

...final policy attribute set...
pAlpha.evaluatorOf(pJoe) <- pBob
pAlpha.evaluatorOf(pMaryann) <- pBob
pAlpha.managerOf(Z) <- pAlpha.evaluatorOf(Z)
pAlpha.payRaise <- pAlpha.evaluatorOf(This).goodPerformance & pAlpha.managerOf(This).niceCoworker
pBob.goodPerformance <- pJoe
pBob.goodPerformance <- pMaryann
pBob.niceCoworker <- pMaryann

===bad============ alpha.payRaise <- Joe
YAP query failed

===good============ alpha.payRaise <- Maryann
YAP query succeed
pAlpha.payRaise <- pAlpha.evaluatorOf(This).goodPerformance & pAlpha.managerOf(This).niceCoworker
pAlpha.evaluatorOf(pMaryann) <- pBob
pBob.goodPerformance <- pMaryann
pAlpha.managerOf(Z) <- pAlpha.evaluatorOf(Z)
pBob.niceCoworker <- pMaryann