Ohne besonderen Grund eine vollständig lineare (nicht nur affine) Sortierung. Das bedeutet, dass in jeder Klausel die lhs-Komponenten im rhs genau einmal verwendet werden.