Assertion list
common stock (primary) → UsedFor
Results from Ascent++: 1
common stock → UsedFor → payment 0.25