Ascent++
Search
face
aspect of
octahedron
,
3
assertions
HasProperty
3
equiangular
0.68
equilateral
0.68
square
0.25