A lot of semigroup stuff has been implemented for the old version of GAP, in order to study the multiplicative structure of nearrings. Since semigroups are planned to be treated differently in the new release of GAP, but are not available in the current release, we have to wait for the full release of GAP 4 to take benefits of algorithmic semigroup theory in SONATA.