semilattice decompositions