Assertion list for term "12 edges".

Results from Ascent++: 1
cube HasA12 edges 0.69