令 $F(x): x$ 是人, $G(y): y$ 是花, $H(x, y): x$喜欢 $y$, 则命题 "有些人喜欢所有的花" 可符号化为 $\qquad$
A
$\exists x(F(x) \wedge \forall y(G(y) \rightarrow H(x, y)))$
B
$\exists x(\forall x F(x) \rightarrow(G(y) \rightarrow H(x, y)))$
C
$\exists x(F(x) \rightarrow \exists y(G(y) \wedge H(x, y)))$
D
$\exists x(F(x) \rightarrow \forall y(G(y) \rightarrow H(x, y)))$
E
F