probability semiring