Could you tell me if these two sentences are equivalent? If they aren't, what would be the correct sentence that is equivalent to (1)? Please explain. Thank you!
(1) (∀x)[Ax→(∃y)(By & Txy)]
(2) (∀x)(∃y)[(Ax & By)→Txy]
The expression that is supposed to be symbolized is "Every A takes at least one B".