Ascent++
Search
total output
subgroup of
output
,
1
assertions
CapableOf
1
increase at increasing …
0.68