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

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

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

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

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

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

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

===good============ stateU.foundingAlumni <- Jan
YAP query succeed
pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
pStateU.diploma('psychology',1960) <- pJan