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 tiger is faster than all cheetahs.

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