Ascent++
Search
Assertion list
spending limit
(
subgroup
of
limit
)
→ CapableOf
Results from
Ascent++
:
1
spending limit
→
CapableOf
→
meet spending requirements
0.25