Assertion list
ablation (primary) → HasA
Results from Ascent++: 2
ablation → HasA → high success rate 0.33
ablation → HasA → primary and secondary antennas 0.25