单项选择题

A.∀x(E(x)→∀y(D(x,y)→E(x)))
B.∀x(E(x)→∀y(D(x,y)∧E(x)))
C.∃x(E(x)→∃y(D(x,y)→E(x)))
D.∃x(E(x)∧∃y(D(x,y)→E(x)))