Task: Text Simplification
Input (English): associativity of addition : for any integers , a , b and c , -lrb- a + b -rrb- + c = a + -lrb- b + c -rrb-.
Output (English): associativity of addition : for any integers , a , b , and c ; -lrb- a + b -rrb- + c = a + -lrb- b + c -rrb-.