YAP 6.3.4 (i686-linux): Thu Mar  7 13:05:19 PST 2013

...ctxtA principals
(pAlpha,keyid,y) 
(pBob,keyid,n) 
(pJoe,keyid,n) 

...ctxtA attributes
pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P)
pAlpha.documents('proj2') <- 'file//fileB'
pAlpha.documents('proj2') <- 'file//fileC'
pAlpha.documents('proj1') <- 'file//fileC'
pAlpha.team('proj1') <- pBob
pAlpha.team('proj2') <- pJoe
pAlpha.documents('proj1') <- 'file//fileA'

...ctxtB principals
(pAlpha,keyid,y) 
(pBob,keyid,n) 
(pJoe,keyid,n) 

...ctxtB attributes
pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P)
pAlpha.documents('proj2') <- 'file//fileB'
pAlpha.documents('proj2') <- 'file//fileC'
pAlpha.documents('proj1') <- 'file//fileC'
pAlpha.team('proj1') <- pBob
pAlpha.team('proj2') <- pJoe

...ctxtC principals
(pAlpha,keyid,y) 
(pBob,keyid,n) 
(pJoe,keyid,n) 

...ctxtC attributes
pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P)
pAlpha.documents('proj1') <- 'file//fileA'
pAlpha.documents('proj2') <- 'file//fileB'
pAlpha.documents('proj1') <- 'file//fileC'
pAlpha.team('proj1') <- pBob
pAlpha.team('proj2') <- pJoe


===good============ ctxtA,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============ ctxtB,Alpha.access(Read,fileA)<-?-Bob
YAP query failed


===good============ ctxtC,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============ ctxtA,Alpha.access(Read,fileA)<-?-Joe
YAP query failed


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


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


===good============ ctxtA,Alpha.access(Read,fileC)<-?-Joe
YAP query succeed
pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P)
pAlpha.documents('proj2') <- 'file//fileC'
pAlpha.team('proj2') <- pJoe


===good============ ctxtB,Alpha.access(Read,fileC)<-?-Joe
YAP query succeed
pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P)
pAlpha.documents('proj2') <- 'file//fileC'
pAlpha.team('proj2') <- pJoe


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