Assertion list for term "longer than sqrt(3".

Results from Ascent++: 1
chord HasPropertylonger than sqrt(3 0.28