Character.args() is unnecessary now that Rule takes a finite number of arguments