Current Version - Under Revision
All the conceptIds present in a
expression refer to
concepts. When normalizing an
expression, every conceptId is replaced with the
expression that represents the definition of the referenced
Normalization is recursive so that any element of a concept definition that refers to another fully defined concept is also replaced by the normal form of that concept .
One test of normalization is that applying the rules to an already normalized expression should return an identical expression .