Ascent++
Search
Assertion list
for term "prove to be future".
Results from
Ascent++
:
1
estimate
→
HasProperty
→
prove to be future
0.21