Assertion list
run (primary) → DefinedAs
Results from Ascent++: 3
run → DefinedAs → alternative 0.25
run → DefinedAs → principal option 0.25
run → DefinedAs → the ossia 0.25