def p_term_term(p): "term : NAME" p[0] = aterm.aterm(p[1], None)
def p_avalue(p): "avalue : value '{' annotation '}'" p[0] = aterm.aterm(p[1], p[3])