The following steps can be applied to test for subsumption of any candidate
expression by a predicate
Transform the predicate
expression to short
188.8.131.52.4.4.1 Deriving the short normal view):
- The resulting "predicate short
expression " is referred in subsequent steps as the normalized -predicate .
Transform the candidate
expression to long
normal form (see
Transforming expressions to normal forms) :
- The resulting "candidate long
expression " is referred in subsequent steps as the normalized -candidate .
- Test for subsumption between the normalized -predicate and the normalized -candidate by applying the tests described in
184.108.40.206.5.2.1 Testing subsumption between two normal form expressions:
- The predicate
expression subsumes the candidate
expression if the normalized -predicate subsumes the normalized -candidate .