Assertion list
tactic (primary) → HasPrerequisite
Results from Ascent++: 2
tactic → HasPrerequisite → training 0.32
tactic → HasPrerequisite → deeper and deeper tunnelling 0.28