First-Order Natural Deduction in Sequent Formulation

Just as for the normal Natural Deduction we have a sequent formulation ${\mathcal{ND}}_{⊢}^1$ which extends the Sequent Calculus Formulation ${\mathcal{ND}}_{⊢}^0$ with the following quantifier rules: