Belyi's theorem for complete intersections of general type

Belyi's theorem states that a smooth projective curve $X / \mathbb{C}$ can be defined over $\bar{\mathbb{Q}}$ if and only if there exists a morphism $X \rightarrow \mathbb{P}^1$ étale over $\mathbb{P}^1 \setminus \{0, 1, \infty\}$.
Following A. Javanpeykar, we will discuss a Belyi-type theorem for smooth complete intersections of general type in $\mathbb{P}^n$. We will also discuss a possible generalization of the proof to complete intersections in weighted projective spaces and in the Grassmannian of lines.