Generalise between clauses.