Select the best translation into predicate logic. All planets are smaller than Jupiter. (j: Jupiter; Px: x is a planet; Sxy: x is smaller than y)
(A)(∃x)(Px • Sxj) (B)(∀x)(Px • Sxj) (C)(∀x)(Px ⊃ Sjx) (D)(∀x)(Px ⊃ Sxj)
D