Complex sentence: The elements of S correspond to axioms and the group operations correspond to the rules of inference.
Split into simpler sentences: The elements of S correspond to axioms. The group operations correspond to the rules of inference.