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
-Some cheetahs are faster than all lions.

A) (∀x) [Lx ⊃ (∃y) (Cy • Fxy) ]
B) (∀x) [Lx ⊃ ~(∀y) (Cy • Fyx) ]
C) (∃x) (Cx ⊃ (∀y) (Ly ⊃ Fxy) ]
D) (∃x) [Cx • (∀y) (Ly ⊃ Fxy) ]
E) (∃x) [Cx • (∀y) (Ly • Fxy) ]