Assertion list for term "at least one fixed point".
Results from Ascent++: 1
hypothesis → HasA → at least one fixed point 0.27