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

select the best translation into predicate logic, using the following translation key:
b: Bhavin
c: Chloe
m: Megha
n: Nietzsche
p: Plato
Ax: x is an altruist
Jx: x is joyful
Px: x is a philosopher
Rx: x is Russian
Tx: x is thoughtful
Bxy: x is a brother of y
Mxy: x mocks y
Rxy: x is richer than y
Sxy: x is smarter than y
-If one thing is smarter than another, then the two things aren't the same.

A) (∃x) (∀y) (Sxy ⊃ x≠y)
B) (∀x) (∀y) (Sxy ⊃ x≠y)
C) (∀x) (∃y) (Sxy ⊃ x≠y)
D) ~(∃x) (∃y) (Sxy $\lor$ x=y)
E) ~(∃x) (∃y) (x=y • ~Sxy)