Assertion list for term "square box".

Results from Ascent++: 1
martin HasAsquare box 0.25