% 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.managerOf(pJoe) <- pBob
pAlpha.ownerOf('file://fileA') <- pJoe
pAlpha.read(F) <- pAlpha.managerOf(E:pAlpha.ownerOf(F))

===good============ alpha.read(fileA) <- Bob
YAP query succeed
pAlpha.read(F) <- pAlpha.managerOf(E:pAlpha.ownerOf(F))
pAlpha.ownerOf('file://fileA') <- pJoe
pAlpha.managerOf(pJoe) <- pBob

===bad============ alpha.read(fileA) <- Maryann
YAP query failed