“…In particular, these notions include the condition that H is the generic Mumford-Tate group of X H . By [UY14], Lemma 2.1, when V is contained in S K (G, X + ), we may assume that X + H is contained in X + and α = 1. In this situation, we will say that V is a special subvariety of S K (G, X + ), and we will say that V is defined by (H, X H ) and X + H .…”