Assertion list for term "six identical sides".

Results from Ascent++: 1
cube HasAsix identical sides 0.34