sig cut.

kind   i, formula         type.

type   top, bot           formula.
type   p                  i -> formula.
type   and, or, imp       formula -> formula -> formula.
type   all, ex            (i -> formula) -> formula.

type   form, hyp, conc    formula -> o.
