Assertion list
scribble (primary) → HasA
Results from Ascent++: 1
scribble → HasA → new mode 0.59