Assertion list for term "small pegs".

Results from Ascent++: 1
corner HasAsmall pegs 0.27