[ (line_comment) (informal_constraint) ] @comment