Input (grade 13): For example, repeated applications of the associativity axiom show that the unambiguity of a • b • c = (a • b) • c = a • (b • c) generalizes to more than three factors.
Output (grade 4): For all a, b and c in G, the equation (a • b) • c = a • (b • c) holds.