Assertion list for term "receive full principal amount".

Results from Ascent++: 1
bondholder CapableOfreceive full principal amount 0.30