Ascent++
Search
Assertion list
horizontal line
(
subgroup
of
line
)
→ HasA
Results from
Ascent++
:
2
horizontal line
→
HasA
→
a slope of zero
0.74
horizontal line
→
HasA
→
the meet point
0.25