For each t ∈ M(T ), our generalization requires the following control parameters to be set (default in bold): Whether creating an arc also reduces it.
we will have two parameters, B L and B R , which specify whether LEFT/RIGHT-ARC actions are bottom up.