Ascent++
Search
Assertion list
for term "obvious implications".
Results from
Ascent++
:
1
discovery
→
HasA
→
obvious implications
0.25