Assertion list for term "withdraw all elements of the promotion".

Results from Ascent++: 1
right (aspect of call) CapableOfwithdraw all elements of the promotion 0.33