Assertion list for term "receive unexpended balance".

Results from Ascent++: 1
accounting CapableOfreceive unexpended balance 0.36