1 2
Goal<n> ::= <. a = 0 .> Item<a, n>; Item<a, n>(*) ::= <. a = n .> "*" | <. a < n .> "(" <. a += 1 .> Item<a, n> ")";