Item
3.1.16.a
.
\(\neg \exists x \forall y (\neg O(x) \vee E(y))\text{.}\)
in-context