Re: Refer to keys in the other grammar.

> But I believe this is prohibited because key symbol space is local to a
> grammar.

I haven't proposed making key names local to a grammar, and your example
seems like a good reason not to do so.

James