Assertion list
debt (primary) → MadeOf
Results from Ascent++: 1
debt → MadeOf → the kind 0.45