Description: Eliminate antecedent when it is implied by previous antecedent. (Contributed by RP, 24-Dec-2019)