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

  1. Check the predicate - for the presence of the : :
  2. If the predicate - contains the , check whether its value is one of the following: or :