Select the Best Translation into Predicate Logic, Using the Following $\lor$

Multiple Choice

select the best translation into predicate logic, using the following translation key:
d: Diego
s: Sean
Dx: x is on the Dean's list
Px: x is a philosophy major
Sx: x is a student
Vx: x is a valedictorian
-Only Sean and Diego are both on the Dean's list and philosophy majors.

A) (∀x) [(Dx • Px) ⊃ (x=s • x=d) ]
B) (∀x) [(Dx • Px) ⊃ ~(x=s • x=d) ]
C) Ds • Ps • Dd • Pd • [(∃x) (Px • Dx) ⊃ ~(x=s • x=d) ]
D) Ds • Dd • Ps • Pd • (∀x) [(Dx • Px) ⊃ (x=s $\lor$ x=d) ]
E) Ds • Ps • Dd • Pd • (∀x) [(Dx • Px) ⊃ ~(x=s • x=d) ]