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

===good============ PA.memberQ_('proj2','info') <-?- James
YAP query succeed
pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv).memberQ_(P,Priv)
pPA.standard <- 'proj2'
pPA.std_ops <- 'info'
pPA.delegate_memberQ_('proj2','info') <- pJohn
pJohn.memberQ_('proj2','info') <- pJames

next proof:
no more..


===good============ PA.memberQ('proj1','info') <-?- Lisa
YAP query succeed
pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv).memberQ(P,Priv)
pPA.standard <- 'proj1'
pPA.std_ops <- 'info'
pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P)
pPA.member_(P:pPA.standard) <- pPA.owner(P)
pPA.owner('proj1') <- pDrd
pDrd.memberQ('proj1','info') <- pLisa

next proof:
pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).memberQ(P,Priv)
pPA.standard <- 'proj1'
pPA.std_ops <- 'info'
pPA.owner('proj1') <- pDrd
pDrd.memberQ('proj1','info') <- pLisa

next proof:
no more..


===good============ PA.memberQ('proj1','info') <-?- John
YAP query succeed
pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv)
pPA.standard <- 'proj1'
pPA.std_ops <- 'info'
pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv)
pPA.owner('proj1') <- pDrd
pDrd.delegate_memberQ_('proj1','info') <- pJohn

next proof:
no more..


===bad============ PA.memberQ('proj2','instantiate') <-?- John
YAP query failed
A partial proof(type:what)
pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv)
pPA.standard <- 'proj1'
pPA.std_ops <- 'info'
pPA.owner('proj1') <- pDrd
pDrd.delegate_memberQ_('proj1','info') <- pJohn

===good============ PA.memberQ('proj1','instantiate') <-?- Tim
YAP query succeed
pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv)
pPA.standard <- 'proj1'
pPA.std_ops <- 'instantiate'
pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv)
pPA.owner('proj1') <- pDrd
pDrd.delegate_memberQ_('proj1','instantiate') <- pTim

next proof:
pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member(P)
pPA.standard <- 'proj1'
pPA.std_ops <- 'instantiate'
pPA.member('proj1') <- pTim

next proof:
no more..


===bad============ PA.memberQ('proj2','info') <-?- Tim
YAP query failed
A partial proof(type:what)
pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv)
pPA.standard <- 'proj1'
pPA.std_ops <- 'instantiate'
pPA.owner('proj1') <- pDrd
pDrd.delegate_memberQ_('proj1','instantiate') <- pTim

===good============ PA.memberQ('proj2','info') <-?- Joe
YAP query succeed
pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv)
pPA.standard <- 'proj2'
pPA.std_ops <- 'info'
pPA.delegate_memberQ_('proj2','info') <- pJohn



=====================s3_run_query==================
 
===bad============ PA.memberQ_(proj1,'info')<-?-Dan
YAP query failed
prover failed!!
 
===good============ PA.memberQ(proj1,'info')<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ('proj1','info')  <- pDan 
 
===bad============ PA.memberQ_(proj1,'stop')<-?-Dan
YAP query failed
prover failed!!
 
===good============ PA.memberQ(proj1,'stop')<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ('proj1','stop')  <- pDan 
 
===good============ PA.memberQ_(proj1,'info')<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ_('proj1','info')  <- pFrank 
 
===good============ PA.memberQ(proj1,'info')<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'info' 
 pPA.memberQ_('proj1','info')  <- pFrank 
 
===good============ PA.memberQ_(proj1,'stop')<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ_('proj1','stop')  <- pFrank 
 
===good============ PA.memberQ(proj1,'stop')<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'stop' 
 pPA.memberQ_('proj1','stop')  <- pFrank 
 
===bad============ PA.memberQ_(proj1,'info')<-?-James
YAP query failed
prover failed!!
 
===good============ PA.memberQ(proj1,'info')<-?-James
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.delegate_memberQ_(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'info' 
 pPA.delegate_memberQ_('proj1','info')  <- pJames 
 
===bad============ PA.memberQ_(proj1,'stop')<-?-James
YAP query failed
prover failed!!
 
===good============ PA.memberQ(proj1,'stop')<-?-James
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv).memberQ(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'stop' 
 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.member_(P) 
 pPA.member_(P:pPA.standard)  <- pPA.owner(P) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.memberQ('proj1','stop')  <- pJames 
 
===bad============ PA.memberQ_(proj1,'info')<-?-Lisa
YAP query failed
prover failed!!
 
===good============ PA.memberQ(proj1,'info')<-?-Lisa
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv).memberQ(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'info' 
 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.member_(P) 
 pPA.member_(P:pPA.standard)  <- pPA.owner(P) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.memberQ('proj1','info')  <- pLisa 
 
===bad============ PA.memberQ_(proj1,'stop')<-?-Lisa
YAP query failed
prover failed!!
 
===good============ PA.memberQ(proj1,'stop')<-?-Lisa
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.delegate_memberQ_(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'stop' 
 pPA.delegate_memberQ_('proj1','stop')  <- pLisa 
 
===good============ PA.memberQ_(proj1,'info')<-?-Tim
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.owner(P).memberQ_(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'info' 
 pPA.owner('proj1')  <- pDrd 
 pDrd.memberQ_('proj1','info')  <- pTim 
 
===good============ PA.memberQ(proj1,'info')<-?-Tim
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'info' 
 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.owner(P).memberQ_(P,Priv) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.memberQ_('proj1','info')  <- pTim 
 
===good============ PA.memberQ_(proj1,'stop')<-?-Tim
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.owner(P).memberQ_(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'stop' 
 pPA.owner('proj1')  <- pDrd 
 pDrd.memberQ_('proj1','stop')  <- pTim 
 
===good============ PA.memberQ(proj1,'stop')<-?-Tim
YAP query succeed
prover success!!
credentials needed :
 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv) 
 pPA.standard  <- 'proj1' 
 pPA.std_ops  <- 'stop' 
 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.owner(P).memberQ_(P,Priv) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.memberQ_('proj1','stop')  <- pTim 
 
===good============ John.memberQ(proj2,info)<-?-$ Joe
YAP query succeed
prover success!!
credentials needed :
 pJohn.memberQ('proj2','info')  <- pJoe