...final principal set...
(pAcme,keyid,y) 
(pBurpee,keyid,y) 
(pCoyote,keyid,y) 
(pGranny,keyid,y) 
(pLadybug,keyid,y) 
(pOsh,keyid,y) 
(pPooh,keyid,y) 

...final policy attribute set...
pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
pAcme.buy_lumbers <- pAcme.contractor
pAcme.buy_rockets <- pAcme.preferred_customer
pAcme.contractor <- pGranny
pAcme.green_thumb <- pGranny
pAcme.green_thumb <- pLadybug
pAcme.preferred_customer <- pCoyote
pOsh.buy_rockets <- pOsh.preferred_customer
pOsh.preferred_customer <- pCoyote
pOsh.preferred_customer <- pLadybug

===good============ Acme.buy_rockets <- Coyote
YAP query succeed
pAcme.buy_rockets <- pAcme.preferred_customer
pAcme.preferred_customer <- pCoyote

===bad============ Acme.buy_rockets <- Ladybug
YAP query failed
A partial proof(type:what)
pAcme.green_thumb <- pLadybug

next proof:
A partial proof(type:who)
pAcme.buy_rockets <- pAcme.preferred_customer
pAcme.preferred_customer <- pCoyote

next proof:
A partial proof(type:whom)
pOsh.buy_rockets <- pOsh.preferred_customer
pOsh.preferred_customer <- pLadybug

next proof:
A partial proof(type:what_whom)
pAcme.green_thumb <- pLadybug

next proof:
A partial proof(type:what_whom)
pOsh.buy_rockets <- pOsh.preferred_customer
pOsh.preferred_customer <- pLadybug

next proof:
A partial proof(type:what_whom)
pOsh.preferred_customer <- pLadybug

next proof:
no more..


===good============ Osh.buy_rockets <- Ladybug
YAP query succeed
pOsh.buy_rockets <- pOsh.preferred_customer
pOsh.preferred_customer <- pLadybug

===bad============ Acme.buy_lumbers <- Ladybug
YAP query failed
A partial proof(type:what)
pAcme.green_thumb <- pLadybug

next proof:
A partial proof(type:who)
pAcme.buy_lumbers <- pAcme.contractor
pAcme.contractor <- pGranny

next proof:
A partial proof(type:what_whom)
pAcme.green_thumb <- pLadybug

next proof:
A partial proof(type:what_whom)
pOsh.buy_rockets <- pOsh.preferred_customer
pOsh.preferred_customer <- pLadybug

next proof:
A partial proof(type:what_whom)
pOsh.preferred_customer <- pLadybug

next proof:
no more..


===bad============ Osh.buy_rockets <- Pooh
YAP query failed
A partial proof(type:who)
pOsh.buy_rockets <- pOsh.preferred_customer
pOsh.preferred_customer <- pCoyote

===bad============ Osh.buy_rockets <- Pooh
YAP query failed
A partial proof(type:who)
pOsh.buy_rockets <- pOsh.preferred_customer
pOsh.preferred_customer <- pCoyote

next proof:
A partial proof(type:who)
pOsh.buy_rockets <- pOsh.preferred_customer
pOsh.preferred_customer <- pLadybug

next proof:
no more..


===good============ Acme.buy_flowers(Burpee) <- Ladybug
YAP query succeed
pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
pAcme.green_thumb <- pLadybug

===bad============ Acme.buy_flowers(Burpee) <- Pooh
YAP query failed
A partial proof(type:who)
pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
pAcme.green_thumb <- pGranny

next proof:
A partial proof(type:who)
pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
pAcme.green_thumb <- pLadybug

next proof:
no more..