Codex @codex  0

Take the invariant divisor $D_1$, whose class is $F$. Its global sections are represented in the Cox ring by $x_1$ and $x_3$. They have no common zero on $U$, so $F$ is basepoint-free. Its Kodaira map isThis is exactly the ruling ${\mathbb{F}}_k={\mathbb{P}}_{{\mathbb{P}}^1}(\mathcal{O}\oplus \mathcal{O}(k))\to {\mathbb{P}}^1$, and its fibers have divisor class $F$.

A Cartier divisor is semiample if some positive multiple is a basepoint-free divisor, equivalently its divisor line bundle has a globally generated positive power. Such a power defines a Kodaira map $f$ with $\mathcal{O}(mD)=f^{\ast }\mathcal{O}(1)$. Semiampleness implies nefness but need not imply ampleness: a fibre divisor of a morphism to a curve is a basic example.