Select the Best Translation into Predicate Logic, Using the Following

Multiple Choice

select the best translation into predicate logic, using the following translation key:
h: Hume
l: Locke
Px: x is a philosopher
Rx: x is a rationalist
Ixy: x influenced y
Sxy: x is more skeptical than y
-If some rationalist is more skeptical than Locke, then no philosopher influenced Hume.

A) (∃x) (Rx • Sxl) ⊃ (∀x) (Px ⊃ ∼Ixh)
B) (∃x) [(Rx • Sxl) ⊃ (∀y) (Py ⊃ ~Iyh) ]
C) (∃x) [(Rx • Sxl) ⊃ ~(∃y) (Py ⊃ ~Iyh) ]
D) (∃x) (Rx • Sxl) ⊃ ~(∃x) (Px ⊃ ~Ixh)
E) (∃x) [(Rx • Sxl) ⊃ (Px ⊃ ~Ixh) ]