Ascent++
Search
Assertion list
root
(
aspect
of
radish
)
→ HasA
Results from
Ascent++
:
1
root
→
HasA
→
enough space
0.25