The formal portion of SECtion 4.2.2 has: > [ALCALC] (Attributive Language with Complement} The closing bracket should be a normal parenthesis.