Ascent++
Search
edge
aspect of
tetrahedron
,
1
assertions
HasProperty
1
perpendicular
0.68