Assertion list for term "xrsquare=0".
Results from Ascent++: 1
default → HasProperty → xrsquare=0 0.25