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 his hummingbirds Some birds eat some seeds. Hummingbirds are birds. Hummingbirds don't eat worms. Therefore, hummingbirds eat some seeds. (Vx)[B(x) + (ay)(S(y) A P(x, y))] A B(h) A (1x)[W(x) = P(h, x)] + ( x)(S(x) - P(h, x)) (3x)(y)[B(x) 1 S(y) 1 P(x, y)] ^ B(h) ^ (Wx)[W(x) Ph, x)'] (3x)(S(x) 1 P(h, (3x)[B(x) (3y)(S(y) 1 P(x, y))] ^ B(h) ^ (Wx)[W(x) Ph, x)] (3x)(S(x) 1 P(h