The following steps test if a *predicate -**
* subsumes *candidate -**
* .

- Check the
*predicate -*- If the group does not contain this , apply the normal tests specified in .

- If the
*predicate -*- If the
exists and has one of these values, apply the tests for a
*context**with absent finding*, as specified in ; - If the exists and has any other value, apply the tests for a normal , as specified in .

- If the
exists and has one of these values, apply the tests for a