Re: [relax-ng] re: Unreachable elements

> If a definition is not reachable
> then you can remove it without changing the meaning of the grammar.

More precisely, you can remove all the unreachable definitions from a
grammar without changing its meaning.

James