Superposition and Chaining for Totally Ordered Divisible Abelian Groups -- Superposition