def p_atom_list(t):
    """
    atom_list : atom_list ATOM
              | ATOM
    """
    if len(t) == 3:
        t[0] = t[1] + [t[2]]
    elif len(t) == 2:
        t[0] = [t[1]]
    else:
        assert False
