Ascent++
Search
side
aspect of
hexagon
,
3
assertions
HasProperty
3
equal
0.84
parallel
0.25
straight
0.16