Assertion list
ocelot (primary) → Desires
Results from Ascent++: 1
ocelot → Desires → dense cover 0.33