The following steps are applied to test if a normalized -predicate subsumes a normalized -candidate. This assumes that these have been generated as outlined in .

  1. Test that each referenced in the normalized -predicate subsumes at least one in the normalized -candidate.:
  2. Test that each in the normalized -predicate subsumes at least one in the normalized -candidate:
  3. Test that each ungrouped in the normalized -predicate subsumes at least one (either grouped or ungrouped) in the normalized -candidate:
  4. If all these tests succeed, the normalized -predicate subsumes the normalized -candidate: