Assertion list for term "withdraw 40,000".

Results from Ascent++: 1
retiree CapableOfwithdraw 40,000 0.25