Ascent++
Search
Assertion list
solution
(
aspect
of
puzzle
)
→ HasA
Results from
Ascent++
:
1
solution
→
HasA
→
the following
0.25