Ascent++
Search
Assertion list
leaf
(
aspect
of
vine
)
→ ReceivesAction
Results from
Ascent++
:
1
leaf
→
ReceivesAction
→
done as result
0.68