Probability semiring