Assertion list
octahedron (primary) → MadeOf

Results from Ascent++: 1
octahedronMadeOf 8 equilateral triangles 0.55