probabilistic_proposition