Ascent++
Search
Assertion list
work
(
aspect
of
interpreter
)
→ CapableOf
Results from
Ascent++
:
2
work
→
CapableOf
→
begin
0.25
work
→
CapableOf
→
end up being meaningless
0.16