Assertion list
batch (primary) → DefinedAs
Results from Ascent++: 1
batch → DefinedAs → 1 set of scan results 0.25