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:
b: Britain
c: Charles
e: Elizabeth
t: Tescos
Px: x is a person
Qx: x is a Queen of England
Wx: x is a woman
Exy: x is more exalted than y
Ixy: x is in y
Pxy: x shops at y
Sxy: x is a son of y
-No one in Britain is more exalted than Charles, except Elizabeth.

A) ~(∃x) [(Ixb • Px • Exc) $\lor$ x=e]
B) (∀x) [(Ixb • Px) ⊃ (x=e $\lor$ Ecx) ]
C) (∀x) [(Exc • Px • Ixb) ⊃ x=e]
D) Eec • (∀x) [(Px • Ixb • x≠e) ⊃ ∼Exc]
E) ~(∃x) (x=e • Px • Ixb • Exc)