Assertion list for term "20 faces".

Results from Ascent++: 1
icosahedron HasA20 faces 0.68