Ascent++ | end up having the value of their bonds

Assertion list for term "end up having the value of their bonds".

Results from Ascent++: 1

bondholder → CapableOf → end up having the value of their bonds