Ascent++
Search
Assertion list
step parent
(
subgroup
of
parent
)
→ HasA
Results from
Ascent++
:
1
step parent
→
HasA
→
right
0.25