Consider the argument below and pick the wff that best represents it.

B(x) is "x is a bird"

W(x) is "x is a worm"

S(x) is "x is a seed"

P(x, y) is "x eats y"

constant h is hummingbirds

Some birds eat some seeds. Hummingbirds are birds. Hummingbirds dont eat worms. Therefore, hummingbirds eat some seeds.

Question 3 options:

	(x)[B(x) (y)(S(y) P(x, y))] B(h) (x)[W(x) P(h, x)] (x)(S(x) P(h, x))
	(x)[B(x) (y)(S(y) P(x, y))] B(h) (x)[W(x) P(h, x)] (x)(S(x) P(h, x))
	(x)(y)[B(x) S(y) P(x, y)] B(h) (x)[W(x) P(h, x)] (x)(S(x) P(h, x))