Given large enough $k\in\Bbb N$ fix $m\in\{2,\dots,k\}$ and fix $4k$ vertex complete graph $K_{4k}$. What is the maximum $n\in\Bbb N$ such that there is a list of complete sub-graphs $$G_1,G_2,\dots,G_{2n}$$ of $K_{4k}$ and a list of $t\geq 2n-1$ distinct subsets $$\mathcal I_1,\mathcal I_2,\dots,\mathcal I_{t}\subset\{1,2,\dots,2n\}$$ with $|\mathcal I_i|=n$ at every $i\in\{1,2,\dots,t\}$ with $$2k+1=\big|\cap_{j\in\mathcal I_i}V(G_{j})\big|=\big|\cap_{j\in\overline{\mathcal I_ i}} V(G_{j})\big|<\big|V(G_{i_j})\big|=2k+m\rightarrow(0)$$ $$\forall i,i'\in\{1,2,\dots,t\}\left\{ \begin{array}{ll} \cap_{j\in\mathcal I_{i'}}V(G_{j})\neq\cap_{j\in\mathcal I_i}V(G_{j})\rightarrow(1)\\ \cap_{j\in\mathcal I_i}V(G_{j})\neq \cap_{j\in\overline{\mathcal I_i}} V(G_{j}\rightarrow(2)\\ \cap_{j\in\overline{\mathcal I_i}} V(G_{j}\neq\cap_{j\in\overline{\mathcal I_{i'}}}V(G_{j})\rightarrow(3)\\ \big(\bigcup_{i''\in\{1,2,\dots,t\}}\bigcap_{j\in\mathcal I_{i''}}V(G_{j})\big)\cap V(G_i)=V(G_i)\rightarrow(4a)\\ \big(\bigcup_{i''\in\{1,2,\dots,t\}}\bigcap_{j\in\overline{\mathcal I_{i''}}}V(G_{j})\big)\cap V(G_i)=V(G_i) \rightarrow(4b)\end{array} \right.$$ where $\overline{\mathcal I_i}=\{1,2,\dots,n\}\backslash\mathcal I_i$ holds? I think $(4a)\mbox{ or }(4b)\implies(1),(2),(3)$ (but I do not have a proof) and so focusing on $(0),(4a),(4b)$ alone should work. Can $n$ be as high as $\Omega\bigg(\frac{(1+c)^{k/{(\log k)^{\frac1c}}}}{k^{\frac1c}}\bigg)$ for some $c\in(0,1)$? What is a sharp lower bound and upper bound for $n$? I think probabilistic method should help.