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

A) (∃x) [Tx • (∀y) (Ly ⊃ Fxy) ] • (∀x) [Cx • (∀y) (Lz ⊃ Fxy) ]
B) (∃x) (∀y) (∀z) {(Fyz • Fxz) ⊃ [(Lz • Tx) • Cy]}
C) (∃x) (∀y) (∀z) {[(Lz • Tx) • Cy] ⊃ (Fyz • Fxz) ]}
D) (∃x) (∀y) {(Tx • Cy) ⊃ (∀z) [Lz ⊃ (Fzx • Fzy) ]}
E) (∀x) {Lx ⊃ [(∃y) (Ty • Fyx) • (∀z) (Cz ⊃ Fzx) ]}