Ascent++
Search
Assertion list
work
(
aspect
of
brown
)
→ AtLocation
Results from
Ascent++
:
1
work
→
AtLocation
→
progress
0.25