% Restoring file /usr/local/lib/Yap/startup.yss
   
===good============ mary.what2eat <- navel orange
YAP query succeed
pMary.what2eat <- pRalphs.fruitprice(P:[.. 2.000000])
pRalphs.fruitprice(0.50) <- 'navel orange'

===good============ mary.what2eat <- kiwi
YAP query succeed
pMary.what2eat <- pRalphs.fruitprice(P:[.. 2.000000])
pRalphs.fruitprice(1.50) <- 'kiwi'

===bad============ bob.what2eat <- navel orange
YAP query failed

===good============ ralphs.fruitprice(1.50) <- apple
YAP query succeed
pRalphs.fruitprice(1.50) <- 'apple'

===bad============ ralphs.fruitprice(1.50) <- green apple
YAP query failed

...final principal set...
(pBob,keyid,y) 
(pMary,keyid,y) 
(pRalphs,keyid,y) 



...final policy attribute set...
pRalphs.fruitprice(1.50) <- 'apple'
pRalphs.fruitprice(2.50) <- 'black berry'
pRalphs.fruitprice(1.50) <- 'kiwi'
pRalphs.fruitprice(0.50) <- 'navel orange'
pBob.what2eat <- pRalphs.fruitprice(P:[1.000000 .. 5.000000])
pMary.what2eat <- pRalphs.fruitprice(P:[.. 2.000000])