Assertion list
bondholder (primary) → HasProperty
Results from Ascent++: 3
bondholder → HasProperty → made whole 0.41
bondholder → HasProperty → unhappy 0.26
bondholder → HasProperty → safe 0.25