pAlpha.access('read',F:isMember(F,oset(pAlpha,documents,P),C1)) <- pAlpha.team(P) pAlpha.documents('proj1') <- 'file//fileA' pAlpha.team('proj1') <- pBob pAlpha.team('proj2') <- pJoe