Current Version - Under Revision
Example use cases:
To facilitate complete and accurate retrieval of precoordinated and postcoordinated expressions from clinical records or other resources it is necessary to compare an expression in a record with a query predicate. This comparison needs to determine if the candidate expression is subsumed by the predicate.
The same meaning can be represented in different postcoordinated expressions and to facilitate comparison expressions with the same meaning can be converted to a common normal form. This section describes the process of normalization and the approach to testing for subsumption between the resulting normal form expressions .