add tutorial for or-and-semiring