Assertion list
vcr (primary) → HasA
Results from Ascent++: 2
vcr → HasA → flying erase head 0.42
vcr → HasA → tuner 0.25