Assertion list
haircut (primary) → IsA
Results from Ascent++: 1
haircut → IsA → a clipper cut 0.25