Lehmann semiring