Abstract
This paper presents a study on the recently proposed linear inequality representation of Arrovian Social Welfare Functions (ASWFs). We correct and show several sufficient conditions on preference domains for the linear inequalities of the representation to form integral polytopes. We also show that a given probabilistic ASWF induces a real vector satisfying the inequalities.