Zonder speciale reden, een volledig lineaire (niet alleen affine) sortering. Dat betekent dat, in elke clausule, de lhs-componenten precies één keer in de rhs worden gebruikt.