Binary

natural sequent

BinaryFormula

formula

body

Abs

BothInAnt

sequent

BothInSuc

sequent

bottomUp

ProofNodeCollection