Assertion list for term "repay the whole".

Results from Ascent++: 1
obligation (aspect of contract) CapableOfrepay the whole 0.16