Ascent++
Search
Assertion list
successful change
(
subgroup
of
change
)
→ HasProperty
Results from
Ascent++
:
1
successful change
→
HasProperty
→
possible
0.59