Assertion list
face (aspect of octahedron ) → HasProperty
Results from Ascent++: 3
face → HasProperty → equiangular 0.68
face → HasProperty → equilateral 0.68
face → HasProperty → square 0.25