Select the Best Translation into Predicate Logic, Using the Following

Multiple Choice

select the best translation into predicate logic, using the following translation key:
Cx: x is a cheetah
Lx: x is a lion
Tx: x is a tiger
Fxy: x is faster than y
Lxy: x is larger than y
-No lion is faster than some tigers.

A) ~(∃x) [Lx • (∀y) (Ty ⊃ Fyx) ]
B) (∀x) [Lx ⊃ (∃y) (Ty • ∼Fxy) ]
C) ~(∃x) [Lx • (∃y) (Ty • Fxy) ]
D) ~(∃x) (∃y) [(Lx • Ty) • Fxy]
E) (∀x) [Lx ⊃ (∀y) (Ty ⊃ ~Fyx) ]