Dokow和Holzman确定了哪些定义在$\{0, 1\}$上的谓词满足Arrow定理的一个类比：所有一致性的聚合器都是独裁的。Szegedy和Xu在Dokow和Holzman早期工作的基础上，将这一结果扩展到任意有限字母表上的谓词。Mossel从另一个方向扩展了Arrow定理，确定了所有不假设一致性的聚合器。我们将这两条研究路径结合起来，通过扩展Dokow-Holzman和Szegedy-Xu的结果到Mossel的研究框架中，得到了更一般的结果。作为应用，我们确定了$\{0,1\}$上每个对称谓词的所有聚合器。

Dokow and Holzman determined which predicates over $\{0, 1\}$ satisfy an analog of Arrow's theorem: all unanimous aggregators are dictatorial. Szegedy and Xu, extending earlier work of Dokow and Holzman, extended this to predicates over arbitrary finite alphabets. Mossel extended Arrow's theorem in an orthogonal direction, determining all aggregators without the assumption of unanimity. We bring together both threads of research by extending the results of Dokow-Holzman and Szegedy-Xu to the setting of Mossel. As an application, we determine, for each symmetric predicate over $\{0,1\}$, all of its aggregators.