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
-At least four philosophy majors are on the Dean's list.

A) (∃x) (∃y) (∃z) (∃w) [Px • Dx • Py • Dy • Pz • Dz • Pw • Dw •
(x=y $\lor$ x=z $\lor$ x=w $\lor$ y=z $\lor$ y=w $\lor$ z=w) ]
B) (∀x) (∀y) (∀z) (∀w) [(Px • Py • Pz • Pw • Dx • Dy • Dz • Dw) ⊃
(x=y $\lor$ x=z $\lor$ x=w $\lor$ y=z $\lor$ y=w $\lor$ z=w) ]
C) (∃x) (∃y) (∃z) (∃w) (Px • Dx • Py • Dy • Pz • Dz • Pw • Dw • x≠y • x≠z • x≠w • y≠z • y≠w • z≠w)
D) (∀x) (∀y) (∀z) (∀w) [(Px • Py • Pz • Pw • Dx • Dy • Dz • Dw) ⊃
(x≠y • x≠z • x≠w • y≠z • y≠w • z≠w) ]
E) (∃x) (∃y) (∃z) (∃w) [(Px • Dx • Py • Dy • Pz • Dz • Pw • Dw) ⊃
(x≠y • x≠z • x≠w • y≠z • y≠w • z≠w) ]