Assertion list
tactic (primary) → SimilarTo
Results from Ascent++: 2
tactic → SimilarTo → in the exploitation phase 0.25
tactic → SimilarTo → in the preparation phase 0.25