===good============ mary.what2eat <- navel orange YAP query succeed pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) pRalphs.fruitprice(0.50) <- 'navel orange' YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed YAP query succeed ===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 YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed YAP query failed 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