Social choice violations in rank sum scoring: A formalization of conditions and corrective probability computations.