Assertion list
vertical line (subgroup of line ) → ReceivesAction
Results from Ascent++: 4
vertical line → ReceivesAction → drawn 0.48
vertical line → ReceivesAction → removed 0.48
vertical line → ReceivesAction → drawn at the bifurcation points 0.35
vertical line → ReceivesAction → spaced in increment 0.31