Under what circumstances would this statement be true

$($z$)($y$)[($G$($z$)$ & W$($y$))->$ E$($y$,$z$)]]$

Check all that apply.