> > Therefore, I would think that 'pattern' defines a subset of
> > the lexical space of the type it is applied to.
>
>
> My understanding is that the "pattern" facet is a very special facet, in
> that it constrains two different things:
>
....
>
> "Normal" facets (except "pattern") don't care about the lexical
> representation. Any lexical form that is legal for the values in the value
> space may be used in instances, and will "represent" one of those values.
> "Pattern" is different.
>
> Alessandro Triglia
So, does 'pattern' restrict lexical space of the type it is applied to,
or defines it anew?
David Tolpin
