Assertion list for term "non-trivial solutions".
Results from Ascent++: 1
integer → HasA → non-trivial solutions 0.25