  We here aim to complete our model-theoretic account of the function field
Mordell-Lang conjecture, avoiding appeal to dichotomy theorems for Zariski
geometries, where we now consider the general case of semiabelian varieties.
The main result is a reduction, using model-theoretic tools, of the semiabelian
case to the abelian case.
