In first-order logic, how would you express that "something likes something"?
- $\exists x \exists y \operatorname{Likes}(x, y)$
- $\exists x \forall y \operatorname{Likes}(x, \mathrm{y})$
- $\forall x \exists y \text{Likes}(x, y)$
- $\forall x \forall y \operatorname{Likes}(x, \mathrm{y})$