Assertion list
binary image (subgroup of image ) → IsA
Results from Ascent++: 1
binary image → IsA → image 0.25