Lattice_type.With_Intersects