Assertion list
self image (subgroup of image ) → CapableOf
Results from Ascent++: 1
self image → CapableOf → become frozen 0.59