Assertion list
debt instrument (primary) → HasProperty
Results from Ascent++: 2
debt instrument → HasProperty → convertible 0.31
debt instrument → HasProperty → crucial 0.25