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

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
-There is at most one queen in Britain.

A) Qe • ~(∃x) (Qx • x≠e)
B) ~(∃x) (∃y) (Qx • Ixb • Qy • Iyb)
C) (∀x) [(Qx • Ixb) ⊃ ~(∃y) (Qy • Iyb • y=x) ]
D) (∀x) (∀y) [(Qx • Qy) ⊃ (~Ixb $\lor$ ~Iyb) ]
E) (∀x) (∀y) [(Qx • Ixb • Qy • Iyb) ⊃ x=y]