n</span> <span class="bp">self</span><span class="o">.</span><span class="n">sat</span><span class="p">([</span><span class="n">project</span><span class="p">])</span></div></div>


<span class="k">def</span> <span class="nf">borda_sat_func</span><span class="p">(</span><span class="n">ballot</span><span class="p">:</span> <span class="n">AbstractOrdinalBallot</span><span class="p">,</span> <span class="n">project</span><span class="p">:</span> <span class="n">Project</span><span class="p">)</span> <span cl