Assertion list for term "repaid with asset".

Results from Ascent++: 1
debt CapableOfrepaid with asset 0.47