Assertion list for term "of square".

Results from Ascent++: 1
drawing IsAof square 0.27