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

...final principal set...
(pBob,keyid,y) 
(pGeni,keyid,y) 
(pJack,keyid,y) 
(pJoe,keyid,y) 

...final policy attribute set...
pGeni.equivalent(pBob) <- pJoe
pGeni.equivalent(pJoe) <- pBob
pGeni.leader <- pBob
pGeni.leader <- pGeni.equivalent(P:pGeni.leader)

===good============ geni.leader <- Bob
YAP query succeed
pGeni.leader <- pBob

===bad============ geni.leader <- Jack
YAP query failed

===good============ geni.leader <- Joe
YAP query succeed
pGeni.leader <- pGeni.equivalent(P:pGeni.leader)
pGeni.leader <- pBob
pGeni.equivalent(pBob) <- pJoe