1: \begin{definition}\label{def1} [Fourier Generiticity] Let $f:\Delta_N\rightarrow \mathbb{R}^{2d+d'}$, where $d+d'\geq 1$ and $d,d'\geq 0$. Let $G=\mathbb{Z}_{r_1}\oplus \cdots\oplus \mathbb{Z}_{r_k}$ and $r=r_1\cdots r_k$. We say that $f$ is $G$--Fourier generic if  \begin{itemize}

2:  \item for any coordinate decomposition $\mathbb{R}^{2d+d'}=\oplus_{i=1}^d U_i \oplus_{j=1}^{d'}L_j$ and $\sigma$ as in (\ref{eq:3.9}) and \item for any choice of $S_i$ and $T_i$ as in the statement of Theorem \ref{thm3.1},\end{itemize} 

3: we have the following condition on any face $\Delta_n$ of $\Delta_N$ with

4:  $n<2m-m'+r-1$: for the restriction $f_\sigma|\Delta_n:\Delta_n\rightarrow \mathbb{C}^d\oplus \mathbb{R}^{d'}$ of $f_\sigma$ to $\Delta_n$, there does not exist any collection $\{x_g\}_{g\in G}\subset \Delta_n$ of points with pairwise disjoint support for which the Fourier coefficients $c_{i,h}$ \ref{eq:2.3} for $f_\sigma|\Delta_n$ vanish for all $h\in S_i$ and all $1\leq i \leq d+d'$. Finally, we say that $f$ is Fourier generic if it is $G$--Fourier generic for any abelian group $G$. %of order $r$ and all $r\geq 2$.

5: \end{definition}