semi-analytic_sequent-like_tableau_system