Assertion list for term "divide the surplus".

Results from Ascent++: 1
dictator CapableOfdivide the surplus 0.25