 Intuitionistic dependence logic (Abramsky &amp; Väänänen 2009; Yang 2013) extends dependence logic by adding an implication connective \(\phi \rightarrow \psi\), whose satisfaction rules are given in team semantics by