Ascent++
Search
slope
aspect of
straight line
,
2
assertions
HasProperty
2
negative
0.71
equal
0.25