...ctxtA principals
(pStateU,keyid,y) 
(pBob,keyid,n) 
(pMark,keyid,n) 

...ctxtA attributes
pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
pStateU.diploma('mathmatics',1961) <- pBob
pStateU.diploma('mathmatics',1965) <- pMark

...ctxtB principals
(pStateU,keyid,y) 
(pBob,keyid,n) 
(pMark,keyid,n) 
(pJoe,keyid,n) 
(pMaryann,keyid,n) 
(pJan,keyid,n) 

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

...ctxtC principals
(pStateU,keyid,y) 
(pMaryann,keyid,n) 
(pJan,keyid,n) 

...ctxtC attributes
pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
pStateU.diploma('psychology',1962) <- pMaryann
pStateU.diploma('psychology',1960) <- pJan


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


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


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


===bad============ ctxtA,stateU.foundingAlumni <- Jan
YAP query failed


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


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