Assertion list
octahedron (primary) → HasA
Results from Ascent++: 2
octahedron → HasA → 8 faces 0.68
octahedron → HasA → 6 vertices 0.62