Ascent++
Search
Assertion list
branch
(
aspect
of
bank
)
→ HasA
Results from
Ascent++
:
1
branch
→
HasA
→
atm
0.41