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