Quasi-Engel varieties of lattice-ordered groups

We show that any ordered group satisfying the identity [x(1)(k1),..., x(n)(kn) ] = e must be weakly abelian and that when xi not equal x(1) for 2 <= i <= n, l-groups satisfying the identity [x(1)(n),..., x(k)(n)] = e also satisfy the identity (x (sic) e)y(n) <= (x (sic) e)(2). These results are used to study the structure of l-groups satisfying identities of the form [x(1)(k1), x(2)(k2), x(3)(k3)] = e.