Select the best translation into predicate logic:: Some blue herons migrate. (Hx: x is a heron; Bx: x is blue; Mx: x migrates)
(A)(∀x)[(Hx • Bx) • Mx] (B)(∃x)[(Hx • Bx) ⊃ Mx] (C)(∀x)[(Hx • Bx) ⊃ Mx] (D)(∃x)[(Hx • Bx) • Mx]
D