Recently, Marengo and Settepanella (2010) introduced a model of social choice among bundles of interdependent elements. In this paper we prove that their voting model is highly decidable, i.e. a group of agents that agrees to use such voting process has an high probability to reach a final...