Describir: Lattices to logic