Assertion list
tactic (primary) → IsA
Results from Ascent++: 3
tactic → IsA → action 0.63
tactic → IsA → specific actions 0.44
tactic → IsA → conceptual action 0.30