没有特别的原因，进行完全线性的（不仅仅是仿射的）排序。这意味着在每个子句中，左侧的组件在右侧只使用一次。