Assertion list
binary image (subgroup of image ) → CapableOf
Results from Ascent++: 1
binary image → CapableOf → correspond to binary image data 0.25