A combinatorial condition on a certain variety of groups