  In this paper we prove the mixed Ax-Schanuel theorem for the universal
abelian varieties (more generally any mixed Shimura variety of Kuga type), and
give some simple applications. In particular we present an application to
studying the generic rank of the Betti map.
