concept-lattice public under complete-lattice 2 List Picture As a command %3 n0 concept-lattice n1 complete-lattice n1->n0