Ascent++
Search
Assertion list
reasoning
(
primary
)
→ HasA
Results from
Ascent++
:
3
reasoning
→
HasA
→
purpose
0.45
reasoning
→
HasA
→
little
0.25
reasoning
→
HasA
→
justification
0.16