Assertion list
image (primary) → HasPrerequisite
Results from Ascent++: 1
image → HasPrerequisite → further sharpening 0.53