Ascent++
Search
Assertion list
for term "counter cause".
Results from
Ascent++
:
1
tactic
→
CapableOf
→
counter cause
0.25