The revised relative Manin–Mumford conjecture in torsion-point form

Let $\mathcal{G}/S$ be a semi-abelian scheme of relative dimension $g+n$ with toric rank $n$, and let $S$ be an irreducible variety over $\mathbb{C}$. Let $Z$ be an irreducible closed subvariety of $\mathcal{G}$, dominant over $S$. Write $\mathcal{G}_{\mathrm{tor}}$ for the fiberwise torsion points.

Revised relative Manin–Mumford conjecture. If $Z(\mathbb{C})\cap\mathcal{G}_{\mathrm{tor}}$ is Zariski dense in $Z$, then either $Z$ is contained in a special subvariety of $\mathcal{G}$, or $\dim Z\geq g+n$.

The source calls this an immediate corollary of the revised relative conjecture. It is proposed after the original formulation is shown to fail because of Ribet sections.