Select the Best Translation into Predicate Logic, Using the Following

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
-All philosophy majors except Sean are on the Dean's list.

A) (∃x) (Px • Dx • x≠s)
B) Ps • ∼Ds • (∀x) [(Px • x≠s) ⊃ Dx]
C) (∀x) [Dx ⊃ (Px ⊃ x≠s) ]
D) (∀x) (Px ⊃ Dx) • Ps • ~Ds
E) (∀x) [Px ⊃ (Dx ⊃ x≠s) ]