The design of a test for a probabilistic model of approval-voting data is recast as the search for a linear description of a
specific convex polytope. Several families of facet-defining inequalities have already been determined