This paper presents a study on the recently proposed linear inequality representation of Arrovian Social Welfare Functions (ASWFs). We first give an alternative proof of the ASWF integer linear inequality representation theorem, and then show several sufficient conditions on preference domains...