Ascent++
Search
Assertion list
for term "enough to prove".
Results from
Ascent++
:
1
fact
→
ReceivesAction
→
enough to prove
0.40