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