Translate the following argument into a sequent in predicate logic using a suitable set of predicate symbols: If there are any tax payers, then all politicians are tax payers. If there are any philanthropists, then all tax payers are philanthropists. So, if there are any tax-paying philanthropists, then all politicians are philanthropists.