  We give properties of the real-split retraction of the mixed weak
Mumford-Tate domain and prove the Ax-Schanuel property of period mappings
arising from variations of mixed Hodge structures. An ingredient in the proof
is the definability of the mixed period mapping obtained by
Bakker-Brunebarbe-Klingler-Tsimerman. In comparison with preceding results, in
the point counting step, we count rational points on definable quotients
instead.
