Ascent++
Search
face
aspect of
dodecahedron
,
3
assertions
HasProperty
3
square
0.84
equiangular
0.68
equilateral
0.68