The semiclassical limit of quantum spin systems corresponds to a dynamical Lagrangian which contains the usual kinetic energy, the couplings and interactions of the spins, and an additional, first-order kinematical term ...