number_chars_syntax_error(syntax_error(number)).