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

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

...final policy attribute set...
pAlpha.access('Read','file//fileB') <- pBob
pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P)
pAlpha.team('proj1') <- pBob
pAlpha.documents('proj1') <- 'file//fileA'
pAlpha.team('proj2') <- pJoe

===good============ Alpha.access(Read,fileA)<-?-Bob
YAP query succeed
pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P)
pAlpha.documents('proj1') <- 'file//fileA'
pAlpha.team('proj1') <- pBob

===bad============ Alpha.access(Read,fileA)<-?-Joe
YAP query failed

===good============ Alpha.team(proj2)<-?-Joe
YAP query succeed
pAlpha.team('proj2') <- pJoe