Definition Satisfaction Approval Voting Rule (COMSOC) The satisfaction approval voting rule selects a committee C∗⊆C maximising SVA(A1,…,An;k):=C∗⊆C,∣C∗∣=kargmaxvi∈V∑∣Ai∣∣Ai∩C∗∣.