( ExNearLattice is NearLattice & ExNearLattice is not Lattice ) ;