Probabilistic Predicates