=====================s1_query.py==================
keystore is not set, using current directory...

===good============ G.qualifiedProject <-?- proj1
YAP query succeed
pG.qualifiedProject <- pG.root(This).project
pG.root(P) <- pG.projectAuthority.root(P)
pG.projectAuthority <- pG.geniRoot.projectAuthority
pG.geniRoot <- pGR
pGR.projectAuthority <- pPA
pPA.root('proj1') <- pDrd
pDrd.project <- 'proj1'

===good============ PA.std_ops <-?- info
YAP query succeed
pPA.std_ops <- 'info'



=====================s1_run_query==================
 
===good============ PA.std_ops<-?-info
YAP query succeed
prover success!!
credentials needed :
 pPA.std_ops  <- 'info' 
 
===good============ G.qualifiedProject<-?-proj1
YAP query succeed
prover success!!
credentials needed :
 pG.qualifiedProject  <- pG.root(This).project 
 pG.root(P)  <- pG.projectAuthority.root(P) 
 pG.projectAuthority  <- pG.geniRoot.projectAuthority 
 pG.geniRoot  <- pGR 
 pGR.projectAuthority  <- pPA 
 pPA.root('proj1')  <- pDrd 
 pDrd.project  <- 'proj1' 
 
===bad============ G.qualifiedProject<-?-projX
YAP query failed
prover failed!!
 
===bad============ SA.inStdProject<-?-proj1
YAP query failed
prover failed!!