Implicator is used to 1) prove that query filters imply a partial index predicate expression and 2) reduce the original filters into a simplified set of filters that are equivalent to the original when applied on top of a partial index scan.