Implemented_Monoid

Class ORAllenMonoid