Assertion list for term "many sides".

Results from Ascent++: 3
octagon HasAmany sides 0.60
polygon HasAmany sides 0.54
truth HasAmany sides 0.51