T^{(1,restricted)}(x, a) = \begin{cases}
T^{(1)}(x, a), & T^{(1)}(x, a) \in Y \\
terminal, & T^{(1)}(x, a) \not\in Y \\
\end{cases}