% 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',1960) <- pBob
pStateU.diploma('psychology',1956) <- pMaryann
pStateU.diploma('zoology',1955) <- pJoe
pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958])

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

===good============ stateU.foundingAlumni <- Maryann
YAP query succeed
pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958])
pStateU.diploma('psychology',1956) <- pMaryann

===good============ stateU.foundingAlumni <- Joe
YAP query succeed
pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958])
pStateU.diploma('zoology',1955) <- pJoe