Assertion list for term "8 corners".

Results from Ascent++: 1
cube HasA8 corners 0.61