Ascent++
Search
Assertion list
scope
(
aspect
of
variable
)
→ CapableOf
Results from
Ascent++
:
1
scope
→
CapableOf
→
define the section of the code
0.25