Describir: Semigroups underlying first-order logic /