"semilattice" . "semilattice" . . .