Re: Name classes

James Clark wrote:

> Is this the only case that causes combinatory explosion for GNF?

No.  ((@a | a), (@b | b), ...., (@z | z)) already causes combinatory 
explosion to GNF normalization.  For each subset of {@a, @b, ..., @z} 
we need a guard-clause pair.  The number of subsets is 2^26.

Cheers,

Makoto