I think we need to have two different method names: withProbAtLeast and withProbAtMost.

Also, maybe the name should be, mustBe rather than is.  So, (x mustBe true withProbAtLeast 0.9) because it MAY still be true, these are just bounds on probabilities.