We give a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, for abelian varieties, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski geometries. Additional ingredients include the "Theorem of the Kernel", and a result of Wagner on commutative groups of finite Morley rank without proper infinite definable subgroups. In positive characteristic, where the main interest lies, there is one more crucial ingredient: "quantifier-elimination" for the corresponding A = p ∞ A(U ) where U is a saturated separably closed field.