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

===good============ SA.controls('sliceA') <-?- Frank
YAP query succeed
pSA.controls(S:pSA.standard) <- pSA.controls_(S).controls(S)
pSA.standard <- 'sliceA'
pSA.controls_(S:pSA.standard) <- pSA.owner(S)
pSA.owner('sliceA') <- pDrd
pDrd.controls('sliceA') <- pFrank

next proof:
pSA.controls(S:pSA.standard) <- pSA.owner(S).controls(S)
pSA.standard <- 'sliceA'
pSA.owner('sliceA') <- pDrd
pDrd.controls('sliceA') <- pFrank

next proof:
no more..


===good============ SA.delegate_controls_('sliceA') <-?- Cary
YAP query succeed
pSA.delegate_controls_('sliceA') <- pCary

===bad============ SA.controls_('sliceA') <-?- Cary
YAP query failed
A partial proof(type:what)
pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S)
pSA.standard <- 'sliceA'
pSA.delegate_controls_('sliceA') <- pCary

===good============ SA.controls('sliceA') <-?- Drd
YAP query succeed
pSA.controls(S:pSA.standard) <- pSA.controls_(S)
pSA.standard <- 'sliceA'
pSA.controls_(S:pSA.standard) <- pSA.owner(S)
pSA.owner('sliceA') <- pDrd

next proof:
pSA.controls(S:pSA.standard) <- pSA.owner(S)
pSA.standard <- 'sliceA'
pSA.owner('sliceA') <- pDrd

next proof:
no more..


===good============ SA.controls('sliceA') <-?- Cary
YAP query succeed
pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S)
pSA.standard <- 'sliceA'
pSA.delegate_controls_('sliceA') <- pCary

===good============ SA.delegate_controls_('sliceA') <-?- Jim
YAP query succeed
pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S)
pSA.standard <- 'sliceA'
pSA.owner('sliceA') <- pDrd
pDrd.delegate_controls_('sliceA') <- pJim

===bad============ SA.controls_('sliceA') <-?- Jim
YAP query failed
A partial proof(type:what)
pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S)
pSA.standard <- 'sliceA'
pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S)
pSA.owner('sliceA') <- pDrd
pDrd.delegate_controls_('sliceA') <- pJim

===bad============ SA.delegate_controls_('sliceA') <-?- Nancy
YAP query failed
A partial proof(type:what)
pSA.controls_(S:pSA.standard) <- pSA.delegate_controls_(S).controls_(S)
pSA.standard <- 'sliceA'
pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S)
pSA.owner('sliceA') <- pDrd
pDrd.delegate_controls_('sliceA') <- pJim
pJim.controls_('sliceA') <- pNancy



=====================s4_run_query==================
 
===bad============ SA.controls_(sliceA)<-?-Frank
YAP query failed
prover failed!!
 
===good============ SA.controls(sliceA)<-?-Frank
YAP query succeed
prover success!!
credentials needed :
 pSA.controls(S:pSA.standard)  <- pSA.controls_(S).controls(S) 
 pSA.standard  <- 'sliceA' 
 pSA.controls_(S:pSA.standard)  <- pSA.owner(S) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controls('sliceA')  <- pFrank 
 
===good============ SA.controls_(sliceA)<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pSA.controls_(S:pSA.standard)  <- pSA.owner(S).controls_(S) 
 pSA.standard  <- 'sliceA' 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controls_('sliceA')  <- pDan 
 
===good============ SA.controls(sliceA)<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pSA.controls(S:pSA.standard)  <- pSA.controls_(S) 
 pSA.standard  <- 'sliceA' 
 pSA.controls_(S:pSA.standard)  <- pSA.owner(S).controls_(S) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.controls_('sliceA')  <- pDan 
 
===good============ SA.controls_(sliceB)<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pSA.controls_('sliceB')  <- pDan 
 
===good============ SA.controls(sliceB)<-?-Dan
YAP query succeed
prover success!!
credentials needed :
 pSA.controls(S:pSA.standard)  <- pSA.controls_(S) 
 pSA.standard  <- 'sliceB' 
 pSA.controls_('sliceB')  <- pDan 
 
===bad============ SA.controls_(sliceA)<-?-Jim
YAP query failed
prover failed!!
 
===good============ SA.controls(sliceA)<-?-Jim
YAP query succeed
prover success!!
credentials needed :
 pSA.controls(S:pSA.standard)  <- pSA.delegate_controls_(S) 
 pSA.standard  <- 'sliceA' 
 pSA.delegate_controls_(S:pSA.standard)  <- pSA.owner(S).delegate_controls_(S) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.delegate_controls_('sliceA')  <- pJim 
 
===good============ SA.controls_(sliceA)<-?-Nancy
YAP query succeed
prover success!!
credentials needed :
 pSA.controls_(S:pSA.standard)  <- pSA.delegate_controls_(S).controls_(S) 
 pSA.standard  <- 'sliceA' 
 pSA.delegate_controls_(S:pSA.standard)  <- pSA.owner(S).delegate_controls_(S) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.delegate_controls_('sliceA')  <- pJim 
 pJim.controls_('sliceA')  <- pNancy 
 
===good============ SA.controls(sliceA)<-?-Nancy
YAP query succeed
prover success!!
credentials needed :
 pSA.controls(S:pSA.standard)  <- pSA.controls_(S) 
 pSA.standard  <- 'sliceA' 
 pSA.controls_(S:pSA.standard)  <- pSA.delegate_controls_(S).controls_(S) 
 pSA.delegate_controls_(S:pSA.standard)  <- pSA.owner(S).delegate_controls_(S) 
 pSA.owner('sliceA')  <- pDrd 
 pDrd.delegate_controls_('sliceA')  <- pJim 
 pJim.controls_('sliceA')  <- pNancy 
 
===bad============ SA.controls_(sliceA)<-?-Lisa
YAP query failed
prover failed!!
 
===good============ SA.controls(sliceA)<-?-Lisa
YAP query succeed
prover success!!
credentials needed :
 pSA.controls('sliceA')  <- pLisa 
 
===bad============ SA.controls_(sliceA)<-?-Cary
YAP query failed
prover failed!!
 
===good============ SA.controls(sliceA)<-?-Cary
YAP query succeed
prover success!!
credentials needed :
 pSA.controls(S:pSA.standard)  <- pSA.delegate_controls_(S) 
 pSA.standard  <- 'sliceA' 
 pSA.delegate_controls_('sliceA')  <- pCary 
 
===good============ SA.controls_(sliceA)<-?-Alice
YAP query succeed
prover success!!
credentials needed :
 pSA.controls_('sliceA')  <- pAlice 
 
===good============ SA.controls(sliceA)<-?-Alice
YAP query succeed
prover success!!
credentials needed :
 pSA.controls(S:pSA.standard)  <- pSA.controls_(S) 
 pSA.standard  <- 'sliceA' 
 pSA.controls_('sliceA')  <- pAlice 
 
===good============ SA.controls_(sliceA)<-?-Drd
YAP query succeed
prover success!!
credentials needed :
 pSA.controls_(S:pSA.standard)  <- pSA.owner(S) 
 pSA.standard  <- 'sliceA' 
 pSA.owner('sliceA')  <- pDrd 
 
===good============ SA.controls(sliceA)<-?-Drd
YAP query succeed
prover success!!
credentials needed :
 pSA.controls(S:pSA.standard)  <- pSA.controls_(S) 
 pSA.standard  <- 'sliceA' 
 pSA.controls_(S:pSA.standard)  <- pSA.owner(S) 
 pSA.owner('sliceA')  <- pDrd