Rational points of varieties with ample cotangent bundle over function fields of positive characteristic

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle ${\mathrm{\Omega }}_{X\mathrm{/}K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$betheZariskiclosureofthesetofall$K$-rational points of $X$, endowed with its reduced induced structure. We prove that there is a projective variety $X_0$ over $k$ and a finite and surjective $K^{\rm sep}$-morphism$X_{0,K^{\rm sep}}\to R_{K^{\rm sep}}$,whichisbirationalwhen${\rm char}(K)=0$.