Bez zvláštního důvodu šlo o plně lineární (nejen afinní) třídění. To znamená, že v každé klauzuli jsou LHS komponenty použity v RHS přesně jednou.