input = {
  [[digit ::= "0"..."9"]],
  [[lowercase ::= "a"..."z"]]
}
output = {
  {"digit", "lowercase"},
  " ::= \"",
  {"0", "a"},
  "\"...\"",
  {"9", "z"},
  "\""
}