Assertion list for term "having a single sidelength property".

Results from Ascent++: 1
square DefinedAshaving a single sidelength property 0.28