Assertion list
tactic (primary) → PartOf
Results from Ascent++: 1
tactic → PartOf → a larger strategy 0.25