Ascent++
Search
Assertion list
proposed alteration
(
subgroup
of
alteration
)
→ HasA
Results from
Ascent++
:
1
proposed alteration
→
HasA
→
appreciable effect
0.25