Statement of the rule

Here is the rule:
  1. Evaluate all the required descriptors (that is, descriptors for which the Optional field is set to false).
    1. If all are true, then the screen matches.
    2. Otherwise, go to step 2.
  2. Start evaluating the optional descriptors (descriptors for which the Optional field is set to true).
    1. If any optional descriptor is true, then the screen matches.
    2. Otherwise, keep evaluating optional descriptors.
  3. If you reach here, then the macro screen does not match the application screen.