[ (directive_term) (clause_term) (arg_list) (list_notation) ] @fold