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 lion is faster than all tigers if, and only if, some cheetah is larger than any tiger faster than it.

A) (∃x) [Lx • (∀y) (Ty ⊃ Fxy) ] ≡ (∃x) {Cx • (∀y) [(Ty • Fyx) ⊃ Lxy]}
B) (∃x) [Lx • (∀y) (Fxy ⊃ Ty) ] ≡ (∃x) {Cx • (∀y) [Lxy ⊃ (Ty • Fyx) ]}
C) (∃x) (∃y) (∀z) {[(Lx • Cy) • Tz] • [Fxz ≡ (Fzy ⊃ Lyz) ]}
D) (∃x) (∃y) (∀z) {[(Lx • Cy) • Tz] • [Fxz ≡ (Lyz ⊃ Fzy) ]}
E) (∃x) (∃y) (∀z) {[Tz ⊃ (Lx • Cy) ] ≡ [(Fxz • Lyz) • Fzy]}