Select the Best Translation into Predicate Logic, Using the Following

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
-Elizabeth is the most exalted woman in Britain.

A) (∀x) [(Wx • Ixb • (∀y) Exy) ⊃ x=e]
B) (∀x) [(Wx • Ixb) ⊃ Exe]
C) We • Ieb • (∀x) [x≠e ⊃ (Wx • Ixb • Eex) ]
D) We • Ieb • (∀x) {[(Wx • x≠e) ⊃ Ixb] ⊃ Eex}
E) We • Ieb • (∀x) [(Wx • Ixb • x≠e) ⊃ Eex]