Assertion list
new division (subgroup of division ) → ReceivesAction
Results from Ascent++: 2
new division → ReceivesAction → formed 0.68
new division → ReceivesAction → raised 0.25