Assertion list
unmoved mover (subgroup of mover ) → IsA
Results from Ascent++: 1
unmoved mover → IsA → pure act 0.68