semiring7