本文重新考虑了级别排序约束，以更系统地覆盖基于聚合的ASP扩展。通过程序转换，级别排序约束可以以一般形式重写，保留了单调和凸聚合的结构，并为它们的整合提供了统一的基础。这些结果为翻译器和求解器管道的实际应用开辟了新的可能性。