[pl] generalize a rule