Assertion list for term "8 faces".

Results from Ascent++: 1
octahedron HasA8 faces 0.68