Assertion list
cloak (primary) → IsA
Results from Ascent++: 1
cloak → IsA → constant covering of the naked 0.25