atom_chars_results([], "[]", "ant", sop).