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

...final principal set...
(pBob,keyid,y) 
(pJoe,keyid,y) 
(pMaryann,keyid,y) 
(pStateU,keyid,y) 

...final policy attribute set...
pStateU.diploma('mathmatics',1961) <- pBob
pStateU.diploma('psychology',1962) <- pMaryann
pStateU.diploma('zoology',1955) <- pJoe
pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1960,1961,1963])

===good============ stateU.foundingAlumni <- Bob
YAP query succeed
pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1960,1961,1963])
pStateU.diploma('mathmatics',1961) <- pBob

===bad============ stateU.foundingAlumni <- Maryann
YAP query failed

===bad============ stateU.foundingAlumni <- Joe
YAP query failed