Implemented_Semiring
Classes
OR_Allen_SemiRing
OR_AND_Morgan_SemiRing
OR_AND_SemiRing
UsualAdditionMultiplicationInR