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

===good============ PA.delegate_member_('proj1') <-?- Cary
YAP query succeed
pPA.delegate_member_('proj1') <- pCary

===bad============ PA.member_('proj1') <-?- Cary
YAP query failed
A partial proof(type:what)
pPA.member(P:pPA.standard) <- pPA.delegate_member_(P)
pPA.standard <- 'proj1'
pPA.delegate_member_('proj1') <- pCary

===good============ PA.member('proj1') <-?- Cary
YAP query succeed
pPA.member(P:pPA.standard) <- pPA.delegate_member_(P)
pPA.standard <- 'proj1'
pPA.delegate_member_('proj1') <- pCary

===good============ PA.member('proj1') <-?- Drd
YAP query succeed
pPA.member(P:pPA.standard) <- pPA.member_(P)
pPA.standard <- 'proj1'
pPA.member_(P:pPA.standard) <- pPA.owner(P)
pPA.owner('proj1') <- pDrd

next proof:
pPA.member(P:pPA.standard) <- pPA.owner(P)
pPA.standard <- 'proj1'
pPA.owner('proj1') <- pDrd

next proof:
no more..


===good============ PA.member('proj1') <-?- Frank
YAP query succeed
pPA.member(P:pPA.standard) <- pPA.member_(P).member(P)
pPA.standard <- 'proj1'
pPA.member_(P:pPA.standard) <- pPA.owner(P)
pPA.owner('proj1') <- pDrd
pDrd.member('proj1') <- pFrank

next proof:
pPA.member(P:pPA.standard) <- pPA.owner(P).member(P)
pPA.standard <- 'proj1'
pPA.owner('proj1') <- pDrd
pDrd.member('proj1') <- pFrank

next proof:
no more..


===good============ PA.delegate_member_('proj1') <-?- Jim
YAP query succeed
pPA.delegate_member_(P:pPA.standard) <- pPA.owner(P).delegate_member_(P)
pPA.standard <- 'proj1'
pPA.owner('proj1') <- pDrd
pDrd.delegate_member_('proj1') <- pJim

===bad============ PA.member_('proj1') <-?- Jim
YAP query failed
A partial proof(type:what)
pPA.delegate_member_(P:pPA.standard) <- pPA.owner(P).delegate_member_(P)
pPA.standard <- 'proj1'
pPA.owner('proj1') <- pDrd
pDrd.delegate_member_('proj1') <- pJim

===bad============ PA.delegate_member_('proj1') <-?- Nancy
YAP query failed
A partial proof(type:what)
pPA.member_(P:pPA.standard) <- pPA.delegate_member_(P).member_(P)
pPA.standard <- 'proj1'
pPA.delegate_member_(P:pPA.standard) <- pPA.owner(P).delegate_member_(P)
pPA.owner('proj1') <- pDrd
pDrd.delegate_member_('proj1') <- pJim
pJim.member_('proj1') <- pNancy



=====================s2_run_query==================
 
===bad============ PA.member_(proj1)<-?-Frank
YAP query failed
prover failed!!
 
===good============ PA.member(proj1)<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pPA.member(P:pPA.standard)  <- pPA.member_(P).member(P) 
 pPA.standard  <- 'proj1' 
 pPA.member_(P:pPA.standard)  <- pPA.owner(P) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.member('proj1')  <- pFrank 
 
===good============ PA.member_(proj1)<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pPA.member_(P:pPA.standard)  <- pPA.owner(P).member_(P) 
 pPA.standard  <- 'proj1' 
 pPA.owner('proj1')  <- pDrd 
 pDrd.member_('proj1')  <- pDan 
 
===good============ PA.member(proj1)<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pPA.member(P:pPA.standard)  <- pPA.member_(P) 
 pPA.standard  <- 'proj1' 
 pPA.member_(P:pPA.standard)  <- pPA.owner(P).member_(P) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.member_('proj1')  <- pDan 
 
===good============ PA.member_(proj2)<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pPA.member_('proj2')  <- pDan 
 
===good============ PA.member(proj2)<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pPA.member(P:pPA.standard)  <- pPA.member_(P) 
 pPA.standard  <- 'proj2' 
 pPA.member_('proj2')  <- pDan 
 
===bad============ PA.member_(proj1)<-?-Jim
YAP query failed
prover failed!!
 
===good============ PA.member(proj1)<-?-Jim
YAP query succeed
prover success!!
credentials needed :
 pPA.member(P:pPA.standard)  <- pPA.delegate_member_(P) 
 pPA.standard  <- 'proj1' 
 pPA.delegate_member_(P:pPA.standard)  <- pPA.owner(P).delegate_member_(P) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.delegate_member_('proj1')  <- pJim 
 
===good============ PA.member_(proj1)<-?-Nancy
YAP query succeed
prover success!!
credentials needed :
 pPA.member_(P:pPA.standard)  <- pPA.delegate_member_(P).member_(P) 
 pPA.standard  <- 'proj1' 
 pPA.delegate_member_(P:pPA.standard)  <- pPA.owner(P).delegate_member_(P) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.delegate_member_('proj1')  <- pJim 
 pJim.member_('proj1')  <- pNancy 
 
===good============ PA.member(proj1)<-?-Nancy
YAP query succeed
prover success!!
credentials needed :
 pPA.member(P:pPA.standard)  <- pPA.member_(P) 
 pPA.standard  <- 'proj1' 
 pPA.member_(P:pPA.standard)  <- pPA.delegate_member_(P).member_(P) 
 pPA.delegate_member_(P:pPA.standard)  <- pPA.owner(P).delegate_member_(P) 
 pPA.owner('proj1')  <- pDrd 
 pDrd.delegate_member_('proj1')  <- pJim 
 pJim.member_('proj1')  <- pNancy 
 
===bad============ PA.member_(proj1)<-?-Lisa
YAP query failed
prover failed!!
 
===good============ PA.member(proj1)<-?-Lisa
YAP query succeed
prover success!!
credentials needed :
 pPA.member('proj1')  <- pLisa 
 
===bad============ PA.member_(proj1)<-?-Cary
YAP query failed
prover failed!!
 
===good============ PA.member(proj1)<-?-Cary
YAP query succeed
prover success!!
credentials needed :
 pPA.member(P:pPA.standard)  <- pPA.delegate_member_(P) 
 pPA.standard  <- 'proj1' 
 pPA.delegate_member_('proj1')  <- pCary 
 
===good============ PA.member_(proj1)<-?-Alice
YAP query succeed
prover success!!
credentials needed :
 pPA.member_('proj1')  <- pAlice 
 
===good============ PA.member(proj1)<-?-Alice
YAP query succeed
prover success!!
credentials needed :
 pPA.member(P:pPA.standard)  <- pPA.member_(P) 
 pPA.standard  <- 'proj1' 
 pPA.member_('proj1')  <- pAlice 
 
===good============ PA.member_(proj1)<-?-Drd
YAP query succeed
prover success!!
credentials needed :
 pPA.member_(P:pPA.standard)  <- pPA.owner(P) 
 pPA.standard  <- 'proj1' 
 pPA.owner('proj1')  <- pDrd 
 
===good============ PA.member(proj1)<-?-Drd
YAP query succeed
prover success!!
credentials needed :
 pPA.member(P:pPA.standard)  <- pPA.member_(P) 
 pPA.standard  <- 'proj1' 
 pPA.member_(P:pPA.standard)  <- pPA.owner(P) 
 pPA.owner('proj1')  <- pDrd