...final principal set...
(pISI,keyid,y) 
(pJohn,keyid,y) 
(pMaryann,keyid,y) 
(pUSC,keyid,y) 

...final policy attribute set...
pISI.employee <- pJohn
pISI.employee <- pMaryann
pISI.managerOf(pMaryann) <- pJohn
pUSC.employee <- pISI.employee
pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
pUSC.managerOf(K) <- pISI.managerOf(K)

===good============ USC.evaluatorOf(Maryann) <- John
YAP query succeed
pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
pUSC.managerOf(K) <- pISI.managerOf(K)
pISI.managerOf(pMaryann) <- pJohn

===good============ USC.managerOf(Maryann) <- John
YAP query succeed
pUSC.managerOf(K) <- pISI.managerOf(K)
pISI.managerOf(pMaryann) <- pJohn

===good============  USC.employee <-?- John
YAP query succeed
pUSC.employee <- pISI.employee
pISI.employee <- pJohn