Bez szczególnego powodu, całkowicie liniowe (nie tylko afiniczne) sortowanie. Oznacza to, że w każdej klauzuli komponenty lhs są używane w rhs dokładnie raz.