semilattice public under semigroup 20 List Picture As a command %3 n0 semilattice n2 join-semilattice n0->n2 n3 meet-semilattice n0->n3 n1 semigroup n1->n0