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 that are not larger than any lion are faster than some tigers.

A) (∃x) {[Cx • (∀y) (Ty ⊃ ~Lxy) ] • (∃y) (Ly • Fxy) }
B) (∃x) {[Cx • (∀y) (Cy • ~Lxy) ] ⊃ (∃y) (Ty • Fxy) }
C) (∃x) {Cx • (∀y) (∃z) [(Ly • Tx) • (~Lxy • Fxy) ]}
D) (∃x) {[Cx • (∀y) (~Lxy ⊃ Lx) ] • (∃y) (Fxy • Tx) }
E) (∃x) {[Cx • (∀y) (Ly ⊃ ∼Lxy) ] • (∃y) (Ty • Fxy) }