Assertion list for term "6 vertices".
Results from Ascent++: 1
octahedron → HasA → 6 vertices 0.62