Assertion list
suspension lift (subgroup of lift ) → IsA
Results from Ascent++: 1
suspension lift → IsA → modification 0.25