Articulated Zilber-Pink conjecture for mixed Shimura and semi-abelian varieties

Let $X$ be a mixed Shimura variety or a semi-abelian variety defined over $\mathbb{C}$. Let $\langle A\rangle$ denote the smallest special subvariety containing a subvariety $A$, and define its defect by

$$\delta(A)=\dim\langle A\rangle-\dim A.$$

For $T\in\mathcal{S}_X$, $V\subseteq T$, and a non-negative integer $\delta$, let ${\rm Atyp\,}^{\delta}(V,T)$ be the union of subvarieties $A\subseteq V$ with $\delta(A)\leq\delta$. Articulated Zilber-Pink conjecture. The set ${\rm Atyp\,}^{\delta}(V,T)$ is a finite union of atypical subvarieties of defect at most $\delta$. The source explains that this is a stronger, defect-by-defect formulation implied formally by Zilber-Pink; the supplied text does not state that either conjecture is resolved.