$\displaystyle [\![ \forall y \in \dot{x} \varphi(y) ]\!] = \inf_{t}[\![ t \in \dot{x} \Longrightarrow \varphi(t) ]\!]$