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

===good============ SA.controlsQ('sliceA','info') <-?- lisa
YAP query succeed
pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv)
pSA.standard <- 'sliceA'
pPA.std_ops <- 'info'
pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls_(S)
pSA.controls_(S:pSA.standard) <- pSA.owner(S)
pSA.owner('sliceA') <- pDrd
pDrd.controlsQ('sliceA','info') <- pLisa

next proof:
pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ(S,Priv)
pSA.standard <- 'sliceA'
pPA.std_ops <- 'info'
pSA.owner('sliceA') <- pDrd
pDrd.controlsQ('sliceA','info') <- pLisa

next proof:
no more..


===good============ SA.controlsQ_('sliceB','info') <-?- lisa
YAP query succeed
pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controls_(S)
pSA.standard <- 'sliceB'
pPA.std_ops <- 'info'
pSA.delegate_controls_('sliceB') <- pLisa

===good============ SA.controlsQ_('sliceB','info') <-?- James
YAP query succeed
pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv).controlsQ_(S,Priv)
pSA.standard <- 'sliceB'
pPA.std_ops <- 'info'
pSA.delegate_controlsQ_('sliceB','info') <- pJohn
pJohn.controlsQ_('sliceB','info') <- pJames

===good============ SA.controlsQ('sliceB','info') <-?- Dan
YAP query succeed
pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls(S)
pSA.standard <- 'sliceB'
pPA.std_ops <- 'info'
pSA.controls('sliceB') <- pDan

===good============ SA.controlsQ('sliceA','info') <-?- John
YAP query succeed
pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv)
pSA.standard <- 'sliceA'
pPA.std_ops <- 'info'
pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv)
pSA.owner('sliceA') <- pDrd
pDrd.delegate_controlsQ_('sliceA','info') <- pJohn

===bad============ SA.controlsQ('sliceB','instantiate') <-?- John
YAP query failed
A partial proof(type:what)
pSA.delegate_controlsQ_('sliceB','info') <- pJohn

===bad============ SA.controlsQ('sliceB','instantiate') <-?- Tim
YAP query failed
A partial proof(type:what)
pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
pSA.standard <- 'sliceA'
pPA.std_ops <- 'instantiate'
pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv)
pSA.owner('sliceA') <- pDrd
pDrd.delegate_controlsQ_('sliceA','instantiate') <- pTim

===bad============ SA.controlsQ('sliceB','info') <-?- Tim
YAP query failed
A partial proof(type:what)
pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
pSA.standard <- 'sliceA'
pPA.std_ops <- 'instantiate'
pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv)
pSA.owner('sliceA') <- pDrd
pDrd.delegate_controlsQ_('sliceA','instantiate') <- pTim

===good============ SA.controlsQ('sliceB','info') <-?- Joe
YAP query succeed
pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv)
pSA.standard <- 'sliceB'
pPA.std_ops <- 'info'
pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
pSA.delegate_controlsQ_('sliceB','info') <- pJohn



=====================s5_run_query==================
 
===bad============ PA.controlsQ_(sliceA,'info')<-?-Dan
YAP query failed
prover failed!!
 
===good============ PA.controlsQ(sliceA,'info')<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ('sliceA','info')  <- pDan 
 
===bad============ PA.controlsQ_(sliceA,'stop')<-?-Dan
YAP query failed
prover failed!!
 
===good============ PA.controlsQ(sliceA,'stop')<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ('sliceA','stop')  <- pDan 
 
===good============ PA.controlsQ_(sliceA,'info')<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ_('sliceA','info')  <- pFrank 
 
===good============ PA.controlsQ(sliceA,'info')<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'info' 
 pSA.controlsQ_('sliceA','info')  <- pFrank 
 
===good============ PA.controlsQ_(sliceA,'stop')<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ_('sliceA','stop')  <- pFrank 
 
===good============ PA.controlsQ(sliceA,'stop')<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'stop' 
 pSA.controlsQ_('sliceA','stop')  <- pFrank 
 
===bad============ PA.controlsQ_(sliceA,'info')<-?-James
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.delegate_controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'info' 
 pSA.delegate_controlsQ_('sliceA','info')  <- pJames 
 
===good============ PA.controlsQ(sliceA,'info')<-?-James
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'info' 
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.delegate_controlsQ_(S,Priv) 
 pSA.delegate_controlsQ_('sliceA','info')  <- pJames 
 
===bad============ PA.controlsQ_(sliceA,'stop')<-?-James
YAP query failed
prover failed!!
 
===good============ PA.controlsQ(sliceA,'stop')<-?-James
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'stop' 
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controls_(S) 
 pSA.controls_(S:pSA.standard)  <- pSA.owner(S) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controlsQ('sliceA','stop')  <- pJames 
 
===bad============ PA.controlsQ_(sliceA,'info')<-?-Lisa
YAP query failed
prover failed!!
 
===good============ PA.controlsQ(sliceA,'info')<-?-Lisa
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'info' 
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controls_(S) 
 pSA.controls_(S:pSA.standard)  <- pSA.owner(S) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controlsQ('sliceA','info')  <- pLisa 
 
===good============ PA.controlsQ_(sliceA,'stop')<-?-Lisa
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.delegate_controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'stop' 
 pSA.delegate_controlsQ_('sliceA','stop')  <- pLisa 
 
===good============ PA.controlsQ(sliceA,'stop')<-?-Lisa
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'stop' 
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.delegate_controlsQ_(S,Priv) 
 pSA.delegate_controlsQ_('sliceA','stop')  <- pLisa 
 
===good============ PA.controlsQ_(sliceA,'info')<-?-Tim
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.owner(S).controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'info' 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controlsQ_('sliceA','info')  <- pTim 
 
===good============ PA.controlsQ(sliceA,'info')<-?-Tim
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'info' 
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.owner(S).controlsQ_(S,Priv) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controlsQ_('sliceA','info')  <- pTim 
 
===good============ PA.controlsQ_(sliceA,'stop')<-?-Tim
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.owner(S).controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'stop' 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controlsQ_('sliceA','stop')  <- pTim 
 
===good============ PA.controlsQ(sliceA,'stop')<-?-Tim
YAP query succeed
prover success!!
credentials needed :
 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv) 
 pSA.standard  <- 'sliceA' 
 pPA.std_ops  <- 'stop' 
 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.owner(S).controlsQ_(S,Priv) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controlsQ_('sliceA','stop')  <- pTim 
 
===good============ John.controlsQ(sliceB,info)<-?-$ Joe
YAP query succeed
prover success!!
credentials needed :
 pJohn.controlsQ('sliceB','info')  <- pJoe